Source: https://www.irit.fr/~Iulian.Ober/str/STR-1.3.Synchro.pdf