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 noviembre 23, 2024. https://ojs.sadio.org.ar/index.php/EJS/article/view/135.