@book{13662,
	author = {Wagner, Ferdinand},
	title = {Modeling software with finite state machines:},
	year = {2006}
}