Formally Describing the Architectural Behavior of Software-Intensive Systems-of-Systems with SosADL | IEEE Conference Publication | IEEE Xplore