Architecture support for runtime integration and verification of component-based Systems of Systems