Modelamiento y especificación de sistemas distribuidos y temporizados. inycomp [Internet]. 2013 Dec. 29 [cited 2026 Jan. 11];15(2):115-24. Available from: https://revistaingenieria.univalle.edu.co/index.php/ingenieria_y_competitividad/article/view/2599