Argón, P. y Roux, O. 1998. Some Issues in Using Formal Methods for the Development of Reactive Systems. Electronic Journal of SADIO (EJS). 1, 1 (jun. 1998), 52-75.