"Formal Modeling and Analysis of Timed Systems, 5 conf., FORMATS 2007" - читать интересную книгу автора (Jean-Francois Raskin, P.S. Thiagarajan)