Text this: Modeling, simulation, and verification of space-based systems :