Software Analysis and Verification & Validation of System-of-Systems (SAVE-SoS)