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