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