Methodisches Und Automatisiertes Testen Von Kfz-Steuergeräte-Software by Carsten Paulus