Source: http://ressource.electron.free.fr/cours/Exercice_de_logique_sequentielle.pdf