Ortiz, J.J. (tran.) (2013) “Modelamiento y especificación de sistemas distribuidos y temporizados”, Ingeniería y Competitividad, 15(2), pp. 115–124. doi:10.25100/iyc.v15i2.2599.