https://wxpython.pythonprogramminghelp.com/1-simple-rule-to-promela/