Ayala Rincón, M., Hartenstein, R.W., Maya Neto, R., Jacobi, R.P. y Llanos, C.H. 2002. Architectural specification, exploration and simulation through rewriting-logic. Revista Colombiana de Computación. 3, 2 (dic. 2002), 1–15.