Registre de correu electrònic: FME '94, industrial benefit of formal methods