Modeling, Simulation, and Verification of Space-based Systems III - Motaghedi, Pejmun