Source: http://terni.free.fr/LPSARII/AUTOM/Cours/CM_AUTOM.pdf