Email Record: FME '96, industrial benefit and advances in formal methods :