Design of Embedded Controllers for Safety Critical Systems WPSHS: Stochastic Control and Analysis of Hybrid Systems Stochastic Markovian Switching Hybrid Processes