Ortiz, J. J. (2013). Modelamiento y especificación de sistemas distribuidos y temporizados. INGENIERÍA Y COMPETITIVIDAD, 15(2), 115–124. https://doi.org/10.25100/iyc.v15i2.2599