Argón, Pablo, y Olivier Roux. Some Issues in Using Formal Methods for the Development of Reactive Systems. Electronic Journal of SADIO (EJS) 1, no. 1 (junio 1, 1998): 52-75. Accedido mayo 9, 2024. https://publicaciones.sadio.org.ar/index.php/EJS/article/view/135.