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