R.__Alur
A framework and architecture for multirobot coordination
An Implementation of Three Algorithms for Timing Verification Based on Automata Emptiness
Efficient reachability analysis of hierarchic reactive machines
Hierarchical hybrid modeling of embedded systems
Minimization of timed transition systems
Partial-order reduction in symbolic state space exploration
The algorithmic analysis of hybrid systems
Timing verification by successive approximation