3 works on record
Control of Discrete-Event Systems
Analysis and Design of Hybrid Systems 2006
2006
Formal Methods in Manufacturing