Sample applications
State-transition diagrams