Formal techniques in real-time and fault-tolerant systems.   
ed. by M. Joseph. 
 - Berlin  Springer-Verlag  1988 
 - vi, 229p 
 - Lecture notes in computer science  no.331 .
<br/><br/><label>ISBN: </label>3540503021 
<br/><br/><label>Dewey Class. No.: </label>001.64404  / N8828