Gonçalves, F., 		Pereira, D., 		Tovar, E., & 		Becker, L.
(2017).
 Formal Verification of AADL Models Using UPPAAL.
In <em>Anais do VII Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, (pp. 117-124). Porto Alegre: SBC.