Contract-based methods and activities in the validation of interfaces for System of Systems Conference proceeding (June 2021)