@book{42435,
	author = {Merz, Stephen},
	title = {Modeling and verification of real-time systems :},
	publisher = {ISTE/John Wiley,},
	year = {c2008},
	address = {London ;}
}