REAL-TIME SYSTEMS: Formal Specification and Automatic Verification

Ernst-Rüdiger Olderog and Henning Dierks

Interesting links
Uppaal	The model-checker for timed automata used in this book
Cambridge University Press	The publisher of this book