Text this: FME '97 Industrial Applications and Strengthened Foundations of Formal Methods