A Formal Approach for Architecting Software-intensive Systems-of-Systems with Guarantees | IEEE Conference Publication | IEEE Xplore