Source: https://hal.laas.fr/tel-01705517v1/document