Modelamiento y especificación de sistemas distribuidos y temporizados. inycomp. 2013;15(2):115-124. doi:10.25100/iyc.v15i2.2599