TY  - BOOK
AU  - Zander,Justyna
AU  - Schieferdecker,Ina
AU  - Mosterman,Pieter J.
TI  - Model-based testing for embedded systems
T2  - Computational analysis, synthesis, and design of dynamic systems ; 13
SN  - 9781439818459 (hardcover : alk. paper)
PY  - 2011///
CY  - Boca Raton, FL
PB  - CRC Press
KW  - Embedded computer systems
KW  - Testing
N1  - Includes bibliographical references and index
ER  -