Modeling of a Speed Control System using Event-B