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