Diagnose als integraler Bestandteil der Funktion: Methodiken für Softwaresysteme im Kraftfahrzeug (Schriftenreihe des Instituts für Verbrennungsmotoren und Kraftfahrwesen der Universitut Stuttgart)