Ortiz, James J., trans. 2013. “Modelamiento Y especificación De Sistemas Distribuidos Y Temporizados”. Ingeniería Y Competitividad 15 (2): 115-24. https://doi.org/10.25100/iyc.v15i2.2599.