Ortiz JJ. Modelamiento y especificación de sistemas distribuidos y temporizados. inycomp [Internet]. 29 de noviembre de 2013 [citado 19 de abril de 2024];15(2):115-24. Disponible en: https://revistaingenieria.univalle.edu.co/index.php/ingenieria_y_competitividad/article/view/2599