Zaslat záznam e-mailem: FME '94, industrial benefit of formal methods