smax-dsl (pypi): smax: a DSL for Harel state machines in Python.
Keywords: finite-state-machine|fsm|harel-statechart|hierarchical-state-machine|nested-states|python|state-machine