Email Record: FME '94, industrial benefit of formal methods :