D de Azevedo Oliveira,
M Frappier - International Conference on Rigorous …, 2023 - Springer
At the ABZ2020 Conference, the case study track proposed to model an Adaptive Exterior
Light System and a Speed Control System: the former controls different exterior lights of a …