Jörg Bormann H. Nusser-Wehlan Gerd Venzl Invited Talk: Formal Design in an Industrial Research Laboratory: Lessons and Perspectives. 193-213 1992 conf/ifip10-2/1992a Designing Correct Circuits db/conf/ifip10-2/ifip10-2-1992a.html#BormannNV92