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