Email Record: Modeling of a Speed Control System Using Event-B