Source: https://www.academie-sciences.fr/pdf/membre/s210611_sifakis.pdf