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