Formal Methods and Hybrid Real-Time Systems - Jones, Cliff B. (Springer Berlin Heidelberg, 2020)