J. J. Ortiz, Tran., “Modelamiento y especificación de sistemas distribuidos y temporizados”, inycomp, vol. 15, no. 2, pp. 115–124, Dec. 2013, doi: 10.25100/iyc.v15i2.2599.