Formal Modeling and Analysis of Timed Systems by Uli Fahrenberg | Menrva Books | MenrvaBooks