The second class is represented by tools such as Tau [], StateMate [], Esterel Studio [],StateFlow [].
It is oriented to control-dominated embedded systems.
In this case, the emphasis is placed on the decisions that must be taken by the embedded system in response to environment and user inputs, rather than on numerical computations.
The notation is generally some form of Har’el’s statecharts [].