M. Salgado and M. de Sousa. " Cybersecurity in Aviation: the STPA-Sec Method Applied to the TCAS Security", in Anais do I Workshop on System-Theoretic Accident Model and Processes, Florianópolis, 2021.