Certification challenges for next-generation avionics and air traffic management systems | IEEE Journals & Magazine | IEEE Xplore