Distributed Software Engineering: a Rigorous Architectural Approach | IEEE Conference Publication | IEEE Xplore