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