Proof-Aided Design of Verified Hardware. - Holger Busch; Gerd Venzl (DAC, 1991)

Are Formal Methods in Design for Real? (Panel Abstract). - Gerd Venzl (DAC, 1991)

Hardware Design Using CASE Tools. - Wolfgang Glunz; Gerd Venzl (VLSI, 1991)

Invited Talk: Formal Design in an Industrial Research Laboratory: Lessons and Perspectives. - Jörg Bormann; H. Nusser-Wehlan; Gerd Venzl (Designing Correct Circuits, 1992)

Model Checking in Industrial Hardware Design. - Jörg Bormann; Jörg Lohse; Michael Payer; Gerd Venzl (DAC, 1995)