Stochastic hybrid system : modelling and verification