AIAA/IEEE Digital Avionics Systems Conference 13th DASC, October 30-November 3, 1994, Phoenix, Arizonia. (Institute of Electrical and Electronics Engineers ;)