Applied Formal Methods - Fm-trends 98 by Dieter Hutter, M. Ullmann & W. Stephan