Slicing Executable System-of-Systems Models for Efficient Statistical Verification | IEEE Conference Publication | IEEE Xplore