Source: https://theses.hal.science/tel-01124001/preview/2012LARE0017.pdf