@book{206528,
	author = {André, Etienne. and Soulat, Romain.},
	title = {The inverse method : parametric verification of real-time embedded systems /},
	publisher = {ISTE ;},
	year = {2013.},
	series = {Focus series in computer engineering and IT},
	address = {London :},
	url = {http://onlinelibrary.wiley.com/book/10.1002/9781118569351}
}