Model-based testing for embedded systems / 
edited by Justyna Zander, Ina Schieferdecker, and Pieter J. Mosterman. 
 - Boca Raton, FL :  CRC Press,  c2012. 
 - xxvii, 660 p. :  ill. ;  26 cm. 
 - Computational analysis, synthesis, and design of dynamic systems ;  13 .
 - Computational analysis, synthesis, and design of dynamic systems ;  13. .
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9781439818459 (hbk.) 1439818452 (hbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Embedded computer systems--Testing.
<br/><br/><label>Dewey Class. No.: </label>004.1  / MOD 2012