Neue Rechen- und Testmethoden in der Sicherheitsentwicklung - Zech, G. (Opel, 1980)