Logothetis, Georgios <br/><br/>
Specification, modeling, verification and runtime analysis of real time systems / 
Georgios Logothetis 
 - Berlin, Germany:   Aka,   2004 
 - xv, 180 p.:   ill.;   21 cm. 
<br/><br/>Bibliography: p. 171-180 
<br/><br/><label>ISBN: </label>389838280X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Real-time data processing<br/>Real-time programming