Todd Carpenter Avionics Integration for CNS/ATM. 124-126 1998 31 IEEE Computer 12 db/journals/computer/computer31.html#Carpenter98 http://doi.ieeecomputersociety.org/10.1109/2.735851