Finite State Machine


More formal method of speificiation
Often depicted using drawing

Some number of states defined
drawn as circles or rectangles

In each state
specific events can occur
inputs
timeouts
cause transition to another state
cause output action to occur