@article {37,
	title = {A Compositional Modeling and Analysis Framework for Stochastic Hybrid Systems},
	journal = {Formal Methods in System Design},
	year = {2012},
	author = {Ernst Moritz Hahn and Arnd Hartmanns and Holger Hermanns and Joost-Pieter Katoen}
}