@article {76,
	title = {A compositional modelling and analysis framework for stochastic hybrid systems},
	journal = {Formal Methods in System Design},
	volume = {43},
	year = {2013},
	pages = {191-232},
	author = {Ernst Moritz Hahn and Arnd Hartmanns and Holger Hermanns and Joost-Pieter Katoen}
}