PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems. - Tord Alenljung; Markus Sköldstam; Bengt Lennartson; Knut Åkesson (CASE, 2007)

Modeling of discrete event systems using finite automata with variables. - Markus Sköldstam; Knut Åkesson; Martin Fabian (CDC, 2007)