Model-Based Debugging of Embedded Software Systems - Iyenghar, Padma; Pulvermueller, Elke; Westerkamp, Clemens; Uelschen, Michael; Wuebbelmann, Juergen (Geselllschaft für Informatik e.V., 2011)