1. Supremica – an integrated environment for verification, synthesis and simulation of discrete event systems;Åkesson;Proceedings of the 8th IEEE International Workshop on Discrete Event Systems,2006
2. Verification of PLC programs given as sequential function charts;Bauer,2004
3. Diagnosis of asynchronous discrete-event systems: a new unfolding approach;Benveniste;IEEE Trans. Autom. Control,2003
4. Understanding and supporting abnormal situation management in industrial process control environments: a new approach to training;Bullemer,1994
5. An integrated approach to fault diagnosis for a class of chemical batch processes;Caccavale;J. Process Control,2009