Gonçalves, Fernando, 		Pereira, David, 		Tovar, Eduardo, E 		Becker, Leandro.
" Formal Verification of AADL Models Using UPPAAL" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (7 novembro 2017)