You are about to access our book library "Modeling and Verification of Real-time Systems full version" .