«Modeling and Verification of Real-time Systems», benzeri kitaplar