TY - BOOK AU - Ferdinand Wagner; Thomas Wagner; Ruedi Schmuki; Peter Wolstenholme TI - Modeling Software with Finite State Machines SN - 9780429121371 PB - Taylor and Francis UR - http://www.taylorfrancis.com/books/9780429121371 ER -