Modelamiento Y especificación De Sistemas Distribuidos Y Temporizados. inycomp 2013, 15 (2), 115-124. https://doi.org/10.25100/iyc.v15i2.2599.