Real-Time Systems Formal Specification and Automatic Verification 
Henning Dierks 
 - Germany  Cambridge  2008 
<br/><br/><label>ISBN: </label>978-0-521-88333-7  Available 
<br/><br/><label>LC Class. No.: </label>519.2HEN