UML/event-B-based modelling and verification of the car cruise control system. - Hemza Merouani; Fateh Boutekkouk; Imad Merouani (Int. J. Comput. Aided Eng. Technol., 2022)