2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) (IEEE,)