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