@book{191445,
	author = {Bernardo, Marco.},
	title = {Formal methods for the design of real-time systems :},
	publisher = {Springer,},
	year = {c2004.},
	series = {Lecture notes in computer science ;},
	address = {Berlin ;},
	url = {http://www.loc.gov/catdir/enhancements/fy0814/2004111362-d.html}
}