Modeling, verification, and exploration of task-level concurrency of real-time embedded systems 
edited by Filip Thoen and Francky Catthoor 
 - Dordrecht ; Boston  Kluwer Academic Publishers  c2000 
 - xv, 438 p. : ill. ; 24 cm 
<br/><br/> Includes bibliographical references (p. 413-433) and index 
<br/><br/><label>ISBN: </label>9780792377375 
<br/><br/><label>ISSN: </label>99056954 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Embedded computer systems<br/>Real-time data processing
<br/><br/><label>Dewey Class. No.: </label>004.16 THO