Source: https://perso.univ-rennes1.fr/mihai.gradinaru/matsta_sv.pdf