https://hal.inria.fr/inria-00598414 Contributor : Team EvasionConnect in order to contact the contributor Submitted on : Monday, June 6, 2011 - 2:14:44 PM Last modification on : Monday, April 25, 2022 - 8:22:02 AM Long-term archiving on: : Thursday, March 30, 2017 - 11:21:13 AM