Source: https://theses.hal.science/tel-01589050/preview/2016LIMO0020.pdf