@book{32295,
	author = {Lamperti, Gianfranco and Zanella, Marina},
	title = {Diagnosis of active systems :},
	publisher = {Kluwer Academic,},
	year = {2003},
	address = {Dordrecht :}
}