J. J. Ortiz, «Modelamiento y especificación de sistemas distribuidos y temporizados», inycomp, vol. 15, n.º 2, pp. 115–124, nov. 2013.