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