FME '93: Industrial-Strength Formal Methods