Rigorous Architectural Reasoning for Self-Adaptive Software Systems | IEEE Conference Publication | IEEE Xplore