SIMVA-SoS is a simulation-based verification and analysis tool for system of systems. It simulates a system of systems, and performs statistical model checking to verify the achievement of SoS-level ...