@book{45330,
	author = {Nicolescu, G. and Jerraya, Ahmed A.},
	title = {Global specification and validation of embedded systems :},
	publisher = {Springer,},
	year = {c2007},
	address = {Dordrecht :}
}