TY - BOOK AU - Mosterman Pieter J AU - Schieferdecker Ina AU - Zander Justyna TI - Model-based testing for embedded systems SN - 978-1-4398-1845-9 U1 - 004.1 PY - 2012/// CY - Boca Raton PB - CRC Press KW - Embedded computer systems-tsting ER -