ZAPATA J., C. M.; ARANGO I., F.; ANAYA DE PÁEZ, R. Comparative study of MetaCASE tools under consistency and refinement*. Revista Universidad EAFIT, v. 43, n. 145, p. 45–59, 1 June2012.