Source: https://www.emse.fr/~dutertre/documents/machines_a_etats.pdf