Verhulst, Eric...[et al.] <br/><br/>
Formal development of a network-centric RTOS : software engineering for reliable embedded systems 

 - New York  Springer  2011 
 - xvi, 219p. ; 24 cm. 
<br/><br/><label>ISBN: </label>9781441997357 
<br/><br/><label>Dewey Class. No.: </label>005.49222  / VER