Source: https://www.academia.edu/31675463/Automatisation_dun_Ascenseur_trois_niveaux.pdf