Compositional modelling of stochastic hybrid systems door S.N. Strubbe