Source: https://eavr.u-strasbg.fr/~bernard/education/1a_automatique/1a_automatique_tds.pdf