Resources

Formal Modeling and Analysis of Timed Systems

Author : Sankaranarayanan 

Springer

Access online