Model-based Testing for Embedded Systems by Justyna Zander | Menrva Books | MenrvaBooks