Modeling and Verification of Real-time Systems | 9781848210134 | Memmo