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
SN  - 9781439818459
PY  - 2012///
CY  - Boca Raton, FL
PB  - CRC Press
KW  - Embedded computer systems
KW  - Testing
N1  - Includes bibliographical references and index
ER  -