Source: https://homepages.laas.fr/kader/MI4.pdf