Braberman, V. A. (2000) Modeling and Checking Real-Time System Designs, Electronic Journal of SADIO (EJS), 3(1). Disponible en: https://publicaciones.sadio.org.ar/index.php/EJS/article/view/120 (Accedido: 3mayo2024).