"Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers " - читать интересную книгу автора (Kim G. Larsen, Peter Niebert)