Real-time systems  Specification, Verification and analysis 
ed. by Mathai Joseph 
 - London  P-H  1996 
 - xiv, 278p. 
 - Prentice Hall International series in computer science .
<br/><br/><label>ISBN: </label>0134552970 
<br/><br/><label>Dewey Class. No.: </label>004.33  / N961