Email Record: Modeling, simulation, and verification of space-based systems :