Argón P, Roux O. Some Issues in Using Formal Methods for the Development of Reactive Systems. EJS [Internet]. 1jun.1998 [citado 8may2024];1(1):52-5. Available from: https://publicaciones.sadio.org.ar/index.php/EJS/article/view/135