Source: http://homepages.laas.fr/khalil/cv.pdf