Modeling and verification of real-time systems :  formalisms and software tools / 
edited by Stephan Merz, Nicolas Navet 
 - London :  ISTE,  2008 
 - 393 p. :  ill. ;  25 cm. 
<br/><br/><label>ISBN: </label>9781848210134  RM713.52 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Real-time data processing<br/>Computer software--Verification<br/>Formal methods (Computer science)