Ortiz, J.J. 2013. Modelamiento y especificación de sistemas distribuidos y temporizados. Ingeniería y Competitividad. 15, 2 (nov. 2013), 115–124. DOI:https://doi.org/10.25100/iyc.v15i2.2599.