. . "1005635038"^^ . . . "10129"^^ . . . . "A virtual finite-state machine (VFSM) is a finite-state machine (FSM) defined in a . The VFSM concept provides a software specification method to describe the behaviour of a control system using assigned names of input control properties and output actions. The VFSM method introduces an execution model and facilitates the idea of an executable specification. This technology is mainly used in complex machine control, instrumentation, and telecommunication applications."@en . . "Virtual finite-state machine"@en . "1296085"^^ . "A virtual finite-state machine (VFSM) is a finite-state machine (FSM) defined in a . The VFSM concept provides a software specification method to describe the behaviour of a control system using assigned names of input control properties and output actions. The VFSM method introduces an execution model and facilitates the idea of an executable specification. This technology is mainly used in complex machine control, instrumentation, and telecommunication applications."@en . .