Source: https://hal.archives-ouvertes.fr/hal-00603189/file/PROVOST_A_formal_semantics_for_Grafcet_specifications.pdf