Simulation and analysis of hybrid systems using probabilistic techniques | IEEE Conference Publication | IEEE Xplore