Explains how to apply finite state machines to software development. This book presents an analysis of development issues relating to behavior modeling with design examples and design rules for using finite state machines. It demonstrates the implementation of these concepts using StateWORKS software.