Eleanor M. Mayger Michael P. Fourman Integration of Formal Methods with System Design. 59-69 1991 VLSI db/conf/vlsi/vlsi1991.html#MaygerF91