Bernard Sufrin Effective Industrial Application of Formal Methods. 61-69 1989 IFIP Congress db/conf/ifip/ifip89.html#Sufrin89