@Article{ HermansKMS_IJSTTT03,
	title = { A tool for model-checking {M}arkov Chains },
	journal = {Int. J. on Softw. for Technology Transfer (STTT)},
	author = {
		H. Hermanns and
		J.-P. Katoen and
		J. Meyer-Kayser and
		M. Siegle
	},
	volume = {4},
	number = {2},
	pages = {153--172},
	year = {2003},
	url = {http://link.springer.de/link/service/journals/10009/bibs/3004002/30040153.pdf},
}