@book{33061,
	author = {Wagner, Ferdinand},
	title = {Modeling software with finite state machines :},
	publisher = {Auerbach,},
	year = {2006},
	address = {Boca Raton, FL :}
}