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