Andreuzzi F. BisPy: Bisimulation in Python. Journal of Open Source Software. 2021  ;6:3519.