Ortiz, James J. 2013. “Modeling and Specification of Distributed Timed Systems”. Ingeniería Y Competitividad 15 (2):115-24. https://doi.org/10.25100/iyc.v15i2.2599.