Model-Based Testing for Embedded Systems - Justyna Zander; Ina Schieferdecker; Pieter J. Mosterman (Taylor and Francis, 2012)