Shaoying Liu SOFL: A Formal Engineering Methodology for Industrial Applications. 41 1997 conf/re/1997 RE http://computer.org/proceedings/re/7740/7740041b.pdf db/conf/re/re1997.html#Liu97