Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder. On regions and zones for
event-clock automata. Formal Methods in System Design, Springer Verlag, 2014, 45 (3),
pp.330-380. (10.1007/s10703-014-0212-1). (hal-01176434)
https://pages.lip6.fr/Nathalie.Sznajder/, consulté le 2021-11-19
Information trouvée : Fonction occupée en 2021