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