Source: https://conf.laas.fr/roadef2010/actes/resumes/p149.pdf