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