Ortiz, J. J. «Modelamiento Y especificación De Sistemas Distribuidos Y Temporizados». Ingeniería Y Competitividad, vol. 15, n.º 2, noviembre de 2013, pp. 115-24, doi:10.25100/iyc.v15i2.2599.