@article {andreuzzi2021bispy,
	title = {BisPy: Bisimulation in Python},
	journal = {Journal of Open Source Software},
	volume = {6},
	number = {65},
	year = {2021},
	pages = {3519},
	author = {Francesco Andreuzzi}
}
