[Study 3] Property-based Model Slicing for Efficient SoS Verification