![SMCube - modeling, simulation, code generation of discrete time finite state machines | ERIKA Enterprise SMCube - modeling, simulation, code generation of discrete time finite state machines | ERIKA Enterprise](http://erika.tuxfamily.org/images/smcube/smcube_state_machine_simulator_code_generator.png)
SMCube - modeling, simulation, code generation of discrete time finite state machines | ERIKA Enterprise
![PDF] Model Checking and Code Generation for UML State Machines and Collaborations | Semantic Scholar PDF] Model Checking and Code Generation for UML State Machines and Collaborations | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/126f8b768b7418c99310ae5997f8985f0b7a41b6/2-Figure1-1.png)
PDF] Model Checking and Code Generation for UML State Machines and Collaborations | Semantic Scholar
![Generate production quality code from state diagrams created with Enterprise Architect [SinelaboreRT] Generate production quality code from state diagrams created with Enterprise Architect [SinelaboreRT]](https://www.sinelabore.de/lib/exe/fetch.php/wiki/landing_pages/ea_landing_oven_sc.png)
Generate production quality code from state diagrams created with Enterprise Architect [SinelaboreRT]
![Finite-State-Machine-Diagram | Finite-State-Machine-Diagram | Finite State Machines || Electronics Tutorial Finite-State-Machine-Diagram | Finite-State-Machine-Diagram | Finite State Machines || Electronics Tutorial](https://www.electronics-tutorial.net/finite-state-machines/State-Machine-Fundamentals/Finite-State-Machine-Diagram/Fig1-Finite-State-Machine-Diagram.png)