Contract-based methods and activities in the validation of interfaces for System of Systems | IEEE Conference Publication | IEEE Xplore