A Hierarchical Coordination Language for Reliable Real-Time Tasks
Arkadeb Ghosal [2008]

Compositionality in Deterministic Real-Time Embedded Systems
Slobodan Matic [2008]

Games for the Verification of Timed Systems
Vinayak Prabhu [2008]

A Framework for Compositional Design and Analysis of Systems
Arindam Chakrabarti [2007]

Stochastic Omega-Regular Games
Krishnendu Chatterjee [2007]

Program Verification by Lazy Abstraction
Ranjit Jhala [2004]

GIOTTO: A Time-Triggered Language for Embedded Programming
Benjamin Horowitz [2003]

Symbolic Algorithms for Verification and Control
Rupak Majumdar [2003]

Games in Open Systems Verification and Synthesis
Freddy Y. C. Mang [2002]

Algorithms and Methodology for Scalable Model Checking
Shaz Qadeer [1999]

New Directions in Refinement Checking
Sriram K. Rajamani [1999]