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