AIAA/IEEE Digital Avionics Systems Conference 12th DASC. (Institute of Electrical and Electronics Engineers,)