Model-Based Testing for Embedded Systems häftadEngelska, 2017