Control of continuous-time Markov chains with safety upper bounds | IEEE Conference Publication | IEEE Xplore