Modeling A MBT modeling utils Install pip install git+https://github.com/letscan/aria.git -U Usage Please consult the testcases.