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