Model-based testing for embedded systems / - Zander, Justyna.; Schieferdecker, Ina.; Mosterman, Pieter J. (CRC Press,, 2012)