J. J. Ortiz, “Modeling and specification of distributed timed systems”, inycomp, vol. 15, no. 2, pp. 115–124, Dec. 2013.