Fernando Gonçalves, David Pereira, Eduardo Tovar, and Leandro Becker. 2017.
 Formal Verification of AADL Models Using UPPAAL. In <em>Anais do VII Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, novembro 07, 2017, Curitiba/PR, Brasil. SBC, Porto Alegre, Brasil, 117-124.