Elie Fares, Jean-Paul Bodeveix, Mamoun Filali, Manuel Garnacho. An Automatic Technique for Checking the Simulation of Timed Systems.
11th International Symposium Automated Technology for Verification and Analysis (ATVA 2013), Oct 2013, Hanoï, Vietnam. pp. 71-86.
⟨hal-01226470⟩