@conference {246,
	title = {Model Checking Gigantic Markov Models},
	booktitle = {12th International Conference on Software Engineering and Formal Methods (SEFM)},
	year = {2014},
	month = {September},
	author = {Joost-Pieter Katoen}
}