Text this: FME '97, industrial applications and strengthened foundations of formal methods :