Discounted densities of overshoot and undershoot for Lévy processes with applications in finance | Synapse