1. Benevides, A.B., Guizzardi, G., Braga, B.F.B., Almeida, J.P.A.: Validating modal aspects of OntoUML conceptual models using automatically generated visual world structures. J. Univ. Comput. Sci. 16, 2904–2933 (2011)
2. Braga, B.F.B.: Cognitive effective instance diagram design. Graduation Thesis, Federal University of Espírito Santo (2011)
3. Braga, B.F.B., Almeida, J.P.A., Guizzardi, G., Benevides, A.B.: Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method. Innovations Syst. Softw. Eng. 6, 55–63 (2010)
4. Calhau, R.F.: Uma Abordagem Baseada em Ontologias para a Integração Semântica de Sistemas, Master Thesis, Federal University of Espírito Santo (2011)
5. Carraretto, R.: A modeling infrastructure for OntoUML. Graduation Thesis, Federal University of Espírito Santo (2010)