1. Badouel E, Bednarczyk M, Borzyszkowski A, Caillaud B, Darondeau P (2007) Concurrent secrets. Discrete Event Dyn Syst 17(4):425–446
2. Benveniste A, Fabre E, Haar S, Jard C (2003) Diagnosis of asynchronous discrete event systems: A net unfolding approach. IEEE Trans Automat Contr 48 (5):714–727
3. Bertrand N, Haddad S, Lefaucheux E (2014) Foundation of diagnosis and predictability in probabilistic systems. In: Raman V, Suresh SP (eds) 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, vol 29 of LIPIcs, pp 417–429. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
4. Bertrand N, Haddad S, Lefaucheux E (2016) Diagnosis in infinite-state probabilistic systems. In: Desharnais J, Jagadeesan R (eds) 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, canada, vol 59 of LIPIcs, pp 37:1–37:15. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
5. Boussif Ab, Liu B, Ghazel M (2016) A twin-plant based approach for diagnosability analysis of intermittent failures. In: 13Th international workshop on discrete event systems, pp 237–244, Xi’an, China