Most embedded systems are reactive by nature. They measure certain properties of their environment with sensors and react on changes. For example, they display something, move a motor, or send a ...
State machines and related modeling techniques are commonly used in the production of safety-critical software (like in the aerospace and defense industries, nuclear power plants, transit systems, ...