selected publications conference paper Validating a European ATM Security System Architecture. . 2018