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