Source: https://theses.hal.science/tel-00228383/document.pdf