• See <Overview of SESoS Research>
• See <[Study 1] SoS and Environment Modeling>
• See <[Study 2] Statistical Verification of SoS>
• See <[Study 3] Property-based Model Slicing for SoS Verification>

Overall structure for SESoS research is described as following figure:

Development of tools and other software artifacts are introduced in <Tools and Artifacts>