Sorina-Nicoleta Predut, Florentin Ipate, Marian Gheorghe, Felician Campean: Formal Modelling of Cruise Control System Using Event-B and Rodin Platform. HPCC/SmartCity/DSS 2018: 1541-1546