Operational Context-Based Design Method of Autonomous Vehicles Logical Architectures. - Youssef Damak; Yann Leroy; Guillaume Trehard; Marija Jankovic (SoSE, 2020)