The exit time finite state projection scheme: bounding exit distributions and occupation measures of continuous-time Markov chains - Kuntz, J; Thomas, P; Stan, G-B; Barahona, M (SIAM Journal on Scientific Computing, 2019)