``Production Cell'': A Comparative Study in Formal Specification and Verification

Controller synthesis for the “production cell” case study

FMSP '98 Proceedings of the second workshop on Formal methods in software practice

Efficient on-the-fly algorithms for the analysis of timed games

CONCUR 2005 - Concurrency Theory

Incorporating Time in the Modeling of Hardware and Software Systems: Concepts, Paradigms, and Paradoxes

MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering

Model checking timed automata with priorities using DBM subtraction

FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems

Incrementally synthesizing controllers from scenario-based product line specifications

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering