J. Wing, J. Woodcock, J. Davies (Eds.): FM’99, Vol. I, LNCS 1708, pp. 52-55, 1999.  Springer-Verlag Berlin Heidelberg 1999