https://123dok.net/document/yr365odp-introduction-à-outil-spin-et-au-langage-promela.html