Luca Console, Claudia Picardi, Marina Ribaudo: Process algebras for systems diagnosis. Artif. Intell. 142(1): 19-51 (2002)