Applied formal methods - FM trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 - 9, 1998 ; proceedings (Springer, 1999)