A methodology used for the development of an Air Traffic Management functional system architecture. - Paula Luisa Costa Teixeira Santos; Paulo Adelino Antunes Monteiro; Milena Studic; Arnab Majumdar (Reliab. Eng. Syst. Saf., 2017)