https://rpython.pythonprogramminghelp.com/5-no-nonsense-promela/