@book{40286,
	author = {Wieringa, R. J.},
	title = {Design methods for reactive systems :},
	publisher = {Morgan Kaufmann,},
	year = {2003},
	address = {Amsterdam :}
}