2 works on record
Diagnosis of active systems
2003
Software prototyping in data and knowledge engineering
1999