1. Alonso-Gonzalez, C., Moya, N., Biswas, G. (2010). Factoring dynamic bayes networks using possible conflicts. In: Proceeding of the 21th Int. Workshop on Principles of Diagnosis (DX10).
2. Cabasino M.P., Giua A. and Seatzu C. (2013). Diagnosis of Petri Nets. Control of Discrete-Event Systems, Chapter 14, Vol. 433, pp.279-300.
3. Cimatti A., Pecheur C., and Cavada R. (2003). Formal verification of diagnosability via symbolic model checking. In Int. Joint Conference on Artificial Intelligence (IJCAI’03), pp.363-369.
4. Clarke E. M., Grumberg O., Peled D. A. (1999). Model Checking. The MIT Press, Cambridge, Massachusetts.
5. Coordinated decentralized protocols for failure diagnosis of discrete event systems;Lafortune;Discrete Event Dynamic Systems,2000