Sangiovanni-Vincentelli, Alberto;ed...[et.al] <br/><br/>
Embedded systems development  from functional models to implementations 
ed. by Alberto Sangiovanni Vincentelli...[et.al] 
 - London  Springer  2014 
 - viii, 223p. 
<br/><br/><label>ISBN: </label>9781461438786 
<br/><br/><label>Subjects--Index Terms: </label>Embedded systems and software  Real time systems  
<br/><br/><label>Universal Decimal Class. No.: </label>004.031.6  / SAN