Dieter Hutter Werner Stephan Paolo Traverso Markus Ullmann Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings FM-Trends Lecture Notes in Computer Science 1641 Springer 1999 3-540-66462-9 db/conf/fm/fm1998.html