Gajski, Daniel D <br/><br/>
Embedded system design : modeling, synthesis and verification 

 - New Delhi  Springer  2006 
 - xxiv, 352p. : ill.   
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9788132211068 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Embedded system -- Design<br/>Software synthesis