Modeling, simulation, and verification of space-based systems II | lit.salon