Model-based testing for embedded systems - Zander, Justyna 1980-; Schieferdecker, Ina 1967-; Mosterman, Pieter J. (CRC Press, Taylor & Francis, 2012)
Includes bibliographical references