@article {390,
	title = {Stochastic Timed Automata},
	journal = {Logical Methods in Computer Science (LMCS)},
	volume = {10},
	year = {2014},
	pages = {1{\textendash}73},
	author = {Nathalie Bertrand and Patricia Bouyer and Thomas Brihaye and Quentin Menet and Christel Baier and Marcus Gr{\"o}{\ss}er and Marcin Jurdzinski}
}