Closed-Form Valuation of Discounted Cash Flows with Finite Poisson Arrivals in a Finite Horizon | Synapse