IEEE/AIAA ... Digital Avionics Systems Conference [proceedings]. (IEEE)