Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos

Untameable Timed Automata!

STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science

Forward Analysis of Updatable Timed Automata

Formal Methods in System Design

A toolsuite for the verification of real-time systems in Eclipse

eclipse '06 Proceedings of the 2006 OOPSLA workshop on eclipse technology eXchange

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