John C. Knight Challenges in the Utilization of Formal Methods. 1-17 1998 conf/ftrtft/1998 FTRTFT http://link.springer.de/link/service/series/0558/bibs/1486/14860001.htm db/conf/ftrtft/ftrtft1998.html#Knight98