Modeling software with finite state machines : a practical approach / Ferdinand Wagner ... [et al.] - Boca Raton, FL : Auerbach, 2006 - xix, 369 p. : ill. ; 25 cm. Includes bibliographical references and index ISBN: OPE0000989(Local) Subjects--Topical Terms: Computer software--DevelopmentMachine theory