Nicolescu, G. <br/><br/>
Global specification and validation of embedded systems :  integrating heterogeneous components / 
by G. Nicolescu and A.A. Jerraya 
 - Dordrecht :  Springer,  c2007 
 - xi, 148 p. :  ill. ;  25 cm. 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9781402061516 (hbk.) 9781402061530 (e-book) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Embedded computer systems<br/>Heterogeneous computing<br/>Computer programs--Validation