@book{37565,
	author = {Ramesh, S. and Sampath, Prahladavaradan. and SpringerLink (Online service)},
	title = {Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems},
	publisher = {Springer Netherlands,},
	year = {2007.},
	address = {Dordrecht :},
	url = {http://dx.doi.org/10.1007/978-1-4020-6254-4}
}