@Article{ BaierHHK_TSE03,
	title = { Model-checking algorithms for continuous-time {M}arkov Chains },
	journal = { IEEE Trans. on Softw. Eng. },
	author = {
		C. Baier and
		B. Haverkort and
		H. Hermanns and
		J.-P. Katoen
	},
	volume = {29},
	number = {6},
	pages = {524--541},
	year = {2003},
}