Author: International Symposium of Formal Methods Europe (4th 1997 Graz, Austria)