E. V. Karnaukh, “Behavior of an almost semicontinuous Poisson process on a Markov chain upon attainment of a level”, Ukr. Mat. Zhurn., vol. 62, no. 1, pp. 81–89, Jan. 2010.