Modeling and verification of real-time systems :  formalisms and software tools / 
edited by Stephen Merz, Nicolas Navet 
 - London ;  Hoboken, NJ  :  ISTE/John Wiley,  c2008 
 - 393 p. :  ill. ;  24 cm. 
<br/><br/>Includes bibliograaphical references and index 
<br/><br/><label>ISBN: </label>9781848210134 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Real-time data processing<br/>Computer software--Verification<br/>Formal methods (Computer science)