5th Workshop on Avionics Systems and Software Engineering (AvioSE'23). - Björn Annighöfer; Andreas Schweiger; Stéphane Poulaine (Software Engineering, 2023)