Nadeem Abbas, Jesper Andersson, Muhammad Usman Iftikhar, Danny Weyns. Rigorous Architectural Reasoning for Self-Adaptive Software Systems. In Qualitative Reasoning about Software Architectures, QRASA@WICSA 2016, Venice, Italy, April 5-8, 2016. pages 11-18, IEEE, 2016. [doi]
Abstract is missing.