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