Lamperti, Gianfranco Diagnosis of active systems : principles and techniques / by Gianfranco Lamperti and Marina Zanella - Dordrecht : Kluwer Academic, 2003 - 426 p. : ill. ; 25 cm. - SECS ; 741 . ISBN: 1402074875 Subjects--Topical Terms: Expert systems (Computer science)Testing--Data processing