de Oliveira, R., 		Santos, G., 		Farines, J., & 		Becker, L.
(2011).
 Contributions to Improvement of the Formal Properties Verification Process in AADL Programs.
In <em>Proceedings of the Brazilian Symposium on Computing Systems Engineering</em>, (pp. 27-32). Porto Alegre: SBC.