@book{226180,
	author = {G. Nicolescu, A. A. Jerraya},
	title = {Global Specification and Validation of Embedded Systems},
	publisher = {Springer Netherlands},
	year = {2007},
	address = {New York}
}