G. Di Gravio, R. Patriarca, F. Costantino, and I. Sikora, “Safety Assessment for an ATM System Change: A Methodology for the ANSPs”, Promet, vol. 29, no. 1, pp. 99-107, Feb. 2017.