Shaoying Liu Rolf Adams Limitations of Formal Methods and an Approach to Improvement. 498- 1995 conf/apsec/1995 APSEC http://csdl.computer.org/dl/proceedings/apsec/1995/7171/00/71710498.pdf db/conf/apsec/apsec1995.html#LiuA95