ARGÓN, P.; ROUX, O. Some Issues in Using Formal Methods for the Development of Reactive Systems. Electronic Journal of SADIO (EJS), v. 1, n. 1, p. 52-75, 1 jun. 1998.