Ayala Rincón, M.; Hartenstein, R. W.; Maya Neto, R.; Jacobi, R. P.; Llanos, C. H. Architectural Specification, Exploration and Simulation through Rewriting-Logic. Rev. colomb. comput. 2002, 3, 1-15.