Model-based Testing for Embedded Systems by Ina Schieferdecker | Menrva Books | MenrvaBooks