-M. Bertran/T. Rus (Eds.): Transformation-Based Reactive Systems Developmt. Proceedings, Springer-Verlag 1997