Ortiz, J. J. “Modeling and Specification of Distributed Timed Systems”. Ingeniería Y Competitividad, vol. 15, no. 2, Dec. 2013, pp. 115-24, doi:10.25100/iyc.v15i2.2599.