1. SUPREMICA — an integrated environment for verification, synthesis and simulation of discrete event systems;Åkesson,2006
2. Aspen Plus® — Chemical Engineering Applications;Al-Malah,2017
3. Diagnosis of asynchronous discrete-event systems: a new unfolding approach;Benveniste;IEEE Trans. Autom. Control,2003
4. Introduction to Discrete Event Systems;Cassandras,2008
5. Development of hidden semi-Markov models for diagnosis of multiphase batch operation;Chen;Chem. Eng. Sci.,2011