Python statecharts: https://aleph2c.github.io/miros/html/index.html