Contract-based methods and activities in the validation of interfaces for System of Systems. - Moritz Wäschle; Matthias Behrendt; Kangning Xing; Hanwen Shi; Albert Albers (SoSE, 2021)