π-Calculus for SoS: A foundation for formally describing software-intensive Systems-of-Systems | IEEE Conference Publication | IEEE Xplore