Fehlersuche im Modell - Modellbasiertes Testen und Debuggen - Geiger, Leif (Verfasser) (Universität Kassel, 2011)