Scicos is a modeler/simulator for hybrid dynamical systems.
SMCube (or SM3) is a State Machine System Modeler, a software written in C++ that allows, through a friendly QT interface, to design and create applications based on Finite State Machine (FSM).