@article {359,
	title = {Reachability and Reward Checking for Stochastic Timed Automata},
	journal = {{ECEASST}},
	volume = {70},
	year = {2014},
	url = {http://journal.ub.tu-berlin.de/eceasst/article/view/968},
	author = {Ernst Moritz Hahn and Arnd Hartmanns and Holger Hermanns}
}