Embedded system design :  modeling, synthesis and verification / 
Daniel D. Gajski ... [et al.]. 
 - Dordrecht ;  New Delhi:  Springer,  c2013. 
 - xxiv, 352 p. : 
<br/><br/><label>ISBN: </label>9781441905031(hbk.) 1441905030 (hbk.) 9781441905048 (ebk.) 1441905049 (ebk) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Embedded computer systems--Design and construction.<br/>Programmatuurtechniek<br/>Embedded systems<br/>Modellen (vorm)<br/>Eingebettetes System.
<br/><br/><label>Dewey Class. No.: </label>004.031.6  / GAJ