Safety Verification of Continuous-Space Pure Jump Markov Processes - Esmaeil Zadeh Soudjani, S; Majumdar, R; Abate, A (22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2016)