Real-time systems : formal specification and automatic verification 
Realtime systems formal specification and automatic verification 
 -  "xvi, 320 p. : ill. ; 26 cm., hbk" 
 - "Cambridge, UK ; New York"  Cambridge University Press  2008 
<br/><br/><label>ISBN: </label>9780521883337 
<br/><br/><label>Dewey Class. No.: </label>004 OLD  / 2.004OLD