Source: http://staff.univ-batna2.dz/sites/default/files/djarrallah_mohamed/files/chapitre_1-_introduction_aux_systemes_automatises.pdf