1. Faster algorithms for mean-payoff games;Brim;Formal Methods in System Design,2011
2. Introduction to discrete event systems;Cassandras,2008
3. Dynamic observers for fault diagnosis of timed systems;Cassez,2010
4. Synthesis of opaque systems with static and dynamic masks;Cassez;Formal Methods in System Design,2012
5. Fault diagnosis with static and dynamic observers;Cassez;Fundamenta Informaticae,2008