@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} }