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