Argón, P. y Roux, O. (1998) Some Issues in Using Formal Methods for the Development of Reactive Systems, Electronic Journal of SADIO (EJS), 1(1), pp. 52-75. Disponible en: https://publicaciones.sadio.org.ar/index.php/EJS/article/view/135 (Accedido: 9mayo2024).