https://hal.inria.fr/hal-01092253 Contributor : Lutz StraßburgerConnect in order to contact the contributor Submitted on : Monday, December 8, 2014 - 2:37:28 PM Last modification on : Wednesday, February 2, 2022 - 3:57:14 PM Long-term archiving on: : Monday, March 9, 2015 - 11:55:32 AM