StateWORKS is a method for creating high-quality software through models. Software behaviour is expressed as a system of finite state machines. Very large complex systems can be handled, by using many state machines in a hierarchical structure; the comple