@conference {374,
	title = {Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis},
	booktitle = {QEST 2015},
	year = {In Press},
	author = {Tom{\'a}s Br{\'a}zdil and Lubos Korenciak and Jan Kr{\v c}{\'a}l and Petr Novotn{\'y} and Vojtech Reh{\'a}k}
}