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