Stochastic Filtering for Diffusion Processes With Level Crossings. - Agostino Capponi; Ibrahim Fatkullin; Ling Shi 001 (IEEE Trans. Autom. Control., 2011)