(1)
Ortiz, J. J. Modelamiento Y especificación De Sistemas Distribuidos Y Temporizados. inycomp 2013, 15, 115-124.