Source: https://homepages.laas.fr/matthieu/cours/temps-reel/print.pdf