@conference {83,
	title = {SMT-Based Bisimulation Minimisation of Markov Models},
	booktitle = {Verification, Model Checking, and Abstract Interpretation, VMCAI 2013},
	series = {Lecture Notes in Computer Science Volume},
	volume = {7737},
	year = {2013},
	pages = {28-47},
	publisher = {Springer},
	organization = {Springer},
	author = {Christian Dehnert and Joost-Pieter Katoen and David Parker}
}