Source: http://mpeea.free.fr/data/autom/TD-autom-07.pdf