Text this: FME '96, industrial benefit and advances in formal methods :