Formal Modeling and Analysis of Timed Systems - Wang Yi - E-bok | Bokus