Source: https://hal.inria.fr/docs/00/73/75/69/PDF/VA2_DOAT_TONY_20092012.pdf