Some issues in using formal methods for the development of reactive systems. Argón, Pablo; Roux, Olivier — 1998 Electronic Journal of SADIO [electronic only]