From Tiziano Vargiolu
Stopped stochastic processes. A stopped continuous martingale is a martingale. Properties of stopped stochastic integrals.