Formal Modelling of Cruise Control System Using Event-B and Rodin Platform | IEEE Conference Publication | IEEE Xplore