"Formal Modeling and Analysis of Timed Systems (Lecture Notes in Computer Science) " - читать интересную книгу автора (Uli Fahrenberg, Stavros Tripakis (Editors))