Gonçalves, F., 		Pereira, D., 		Tovar, E., & 		Becker, L.
(2017).
 Formal Verification of AADL Models Using UPPAAL.
In <em>Proceedings of the 7th Brazilian Symposium on Computing Systems Engineering</em>, (pp. 117-124). Porto Alegre: SBC.