Salgado, M., & 		de Sousa, M.
(2021).
 Cybersecurity in Aviation: the STPA-Sec Method Applied to the TCAS Security.
In <em>Anais do I Workshop on System-Theoretic Accident Model and Processes</em>. Porto Alegre: SBC.