Modeling And Verification Of Real-Time Systems by Nicolas Navet & Stephan Merz