Model-driven engineering to ensure automotive embedded software safety. Methodological proposal and case study. - Yandika Sirgabsou; Claude Baron; Laurent Pahun; Philippe Esteban (Comput. Ind., 2022)