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