Source: https://scd-resnum.univ-lyon3.fr/out/theses/2018_out_harzallah_debbabi_s.pdf