2024-02-012024-02-01https://hdl.handle.net/11420/454575th Workshop on Avionics Systems and Software Engineering, AvioSE 2023Workshop10.15480/882.1062810.15480/882.10628