A Modeling and Simulation Verification Approach for the Mobile Ad Hoc Network Survivability Model: A Modeling and Simulation Verification Approach for the Mobile Ad Hoc Network Survivability Model