Model-based testing for embedded systems / 
edited by Justyna Zander, Ina Schieferdecker, and Pieter J. Mosterman. 
 - Boca Raton, FL :  CRC Press,  2011. 
 - xxvii, 660 p. :  ill. ;  27 cm. 
 - Computational analysis, synthesis, and design of dynamic systems ; 13 .
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9781439818459 (hardcover : alk. paper)  RM471.20 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Embedded computer systems--Testing.