Ortiz, James J. “Modeling and Specification of Distributed Timed Systems”. Ingeniería y Competitividad 15, no. 2 (December 29, 2013): 115–124. Accessed November 22, 2024. https://revistaingenieria.univalle.edu.co/index.php/ingenieria_y_competitividad/article/view/2599.