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