Olderog, Ernst-Rüdiger <br/><br/>
Real-time systems :  formal specification and automatic verification 

 - Cambridge :  Cambridge University Press,  ©2008. 
 - xvi, 320 p. :  ill. ;  26 cm (Hardbound) 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9780521883337 
<br/><br/><label>Subjects--Index Terms: </label>Real-time data processing 
<br/><br/><label>Dewey Class. No.: </label>004.33  / OLD / B