P. S. Thiagarajan,Jean-Francois Raskin

• Formal Modeling and Analysis of Timed Systems