Ortiz, J. J. (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.