Python statecharts
To install this Python statechart library:
pip3 install miros
The full documentation can be found here