@conference {springerlink:10.1007/978-3-642-28540-0_11,
	title = {Heuristics for Probabilistic Timed Automata with Abstraction Refinement},
	booktitle = {Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance},
	series = {Lecture Notes in Computer Science},
	volume = {7201},
	year = {2012},
	note = {10.1007/978-3-642-28540-0_11},
	pages = {151-165},
	publisher = {Springer Berlin / Heidelberg},
	organization = {Springer Berlin / Heidelberg},
	isbn = {978-3-642-28539-4},
	doi = {10.1007/978-3-642-28540-0_11},
	url = {http://dx.doi.org/10.1007/978-3-642-28540-0_11},
	author = {Ferrer Fioriti, Luis Mar{\'\i}a and Holger Hermanns}
}