SIMVA-SoS: Simulation-based Verification and Analysis for System-of-Systems | IEEE Conference Publication | IEEE Xplore