A Methodological Framework for Financial Feasibility and Stochastic Modeling of Performance-Based Logistics (PBL) in Aviation | Synapse