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 & design rules for using finite state machines. It demonstrates the implementation of these concepts using State WORKS software.