Email (record): FME '94, industrial benefit of formal methods