1. Alves LVR, Martins LRR, Pena PN (July 2017) UltraDES – a library for modeling, analysis and control of discrete event systems. In: Proceedings of the 20th World Congress of the International Federation of Automatic Control, Toulose, France, pp 5996–2001
2. Athanasopoulou E, Li L, Hadjicostis CN (July 2006) Probabilistic failure diagnosis in finite state machines under unreliable observations. In: 2006 8th international workshop on discrete event systems. IEEE, Ann Arbor, MI, USA, pp 301–306
3. Baier C, Katoen J-P (2008) Principles of model checking. MIT Press, Cambridge
4. Basile F, De Tommasi G, Sterle C, Boussif A, Ghazel M (2018) Efficient diagnosability assessment via ilp optimization: a railway benchmark. In: 2018 IEEE 23rd international conference on emerging technologies and factory automation (ETFA), vol 1, pp 441–448
5. Basilio JC, Lafortune S (2009) Robust codiagnosability of discrete event systems. In: Proc. American control conference, St. Louis, MO, USA, pp 2202–2209