Ayala Rincón, M. et al. 2002. Architectural specification, exploration and simulation through rewriting-logic. Revista Colombiana de Computación. 3, 2 (dic. 2002), 1–15.