Salgado, Mayara, and Marcelo Santiago de Sousa. " Cybersecurity in Aviation: the STPA-Sec Method Applied to the TCAS Security." Proceedings of the 1st Workshop on System-Theoretic Accident Model and Processes, Florianópolis, 2021. SBC, 2021, n. pag.