Gravar-mail: FME '94, industrial benefit of formal methods