An Event-B model of an automotive adaptive exterior light system. - Mammar, Amel; Frappier, Marc; Laleau, Régine (International Journal on Software Tools for Technology Transfer, 2024)