Modell-basierter Test Eingebetteter Software Im Automobil door Mirko Conrad