de Oliveira, R., 		Santos, G., 		Farines, J., & 		Becker, L.
2011 Nov  7.  Contributions to Improvement of the Formal Properties Verification Process in AADL Programs. Proceedings of the Brazilian Symposium on Computing Systems Engineering (SBESC). [Online] :