The exit time finite state projection scheme: bounding exit distributions and occupation measures of continuous-time Markov chains - Juan Kuntz; Philipp Thomas; Guy-Bart Stan; Mauricio Barahona (2018)