M. Salgado and M. de Sousa.
" Cybersecurity in Aviation: the STPA-Sec Method Applied to the TCAS Security", in <em>Proceedings of the 1st Workshop on System-Theoretic Accident Model and Processes</em>, Florianópolis, 2021.