Ernst-Rüdiger Olderog, Henning Dierks. <br/><br/>
Real-Time Systems: Formal Specification and Automatic Verification / 
Ernst-Rüdiger Olderog, Henning Dierks. 
 - 1st Edition 
 - UK:  Cambridge University Press,  2008. 
 - 320 p ;  30.7 cm 
<br/><br/> Hardcover 
<br/><br/><label>ISBN: </label>978-0521883337  
<br/><br/><label>Dewey Class. No.: </label>004.33  / OLD