Specification, Modelling, Verification and Runtime Analysis of Real Time Systems by Georgios Logothetis | Menrva Books