Source: http://beru.univ-brest.fr/~singhoff/ENS/UE_temps_reel/CM/intro.pdf