Zapata J., C. M.; Arango I., F.; Anaya de Páez, R. Comparative Study of MetaCASE Tools under Consistency and Refinement*. Rev. DyC. EAFIT 2012, 43 (145), 45-59.