Paul Pettersson, Wang Yi Formal Modeling and Analysis of Timed Systems - 2005 ISBN: 978-3-540-31616-9 Subjects--Topical Terms: Logics and Meanings of ProgramsSoftware EngineeringSpecial Purpose and Application-Based Systems Programming Languages, Compilers, InterpretersComputer Science