Ortiz, J. J. (2013). Modeling and specification of distributed timed systems. Ingeniería Y Competitividad, 15(2), 115–124. https://doi.org/10.25100/iyc.v15i2.2599