Modeling, Simulation, And Verification Of Space-Based Systems Iii door Pejmun Motaghedi