Contract-based modelling and analysis technologies for Systems-of-Systems | IEEE Conference Publication | IEEE Xplore