Fault isolation in discrete event systems by observational abstraction. - Dan Lawesson; Ulf Nilsson; Inger Klein (CDC, 2003)

An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems. - Dan Lawesson; Ulf Nilsson; Inger Klein (MoChArt@CONCUR/SPIN, 2005)

An Approach to Diagnosability Analysis for Interacting Finite State Systems. - Dan Lawesson (2005)