On the Achievement of a Highly Dependable and Fault-Tolerant Air Traffic Control System | IEEE Journals & Magazine | IEEE Xplore