State Machine Models model the behaviour of the system in response to external and internal events. They show the system’s responses to stimuli so are often used for modelling real-time systems. They show system states as nodes and events as arcs between nodes. When an event occurs, the system moves from one state to another.