Gonçalves, F., 		Pereira, D., 		Tovar, E., & 		Becker, L.
2017 nov  7.  Formal Verification of AADL Models Using UPPAAL. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :