Source: https://tel.archives-ouvertes.fr/tel-00841572/file/ThA_se_P._Vandenbroucke_version_informatique.pdf