Safety assessment of the SESAR Operational Concept - European air traffic management in 2020 and beyond | IET Conference Publication | IEEE Xplore