F. Gonçalves, D. Pereira, E. Tovar, and L. Becker.
" Formal Verification of AADL Models Using UPPAAL", in <em>Anais do VII Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, Curitiba/PR, 2017, pp. 117-124.