Source: https://hal.archives-ouvertes.fr/hal-01448590/file/DBG-TICEMED-2011.pdf