modeling software with finite state machines : a practical approach
modeling software with finite state machines : a practical approach explains how to apply finite state machines to software development . it provides a critical analysis of using finite state machines as a foundation for executable specifications to