Envoyer la notice par courriel: Modeling of a Speed Control System Using Event-B