Model-based testing for embedded systems /
Zander, Justyna.
Schieferdecker, Ina.
Mosterman, Pieter J.
Boca Raton, Fla. ; London : CRC Press,
c2012.
Includes bibliographical references and index.
Embedded computer systems