Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph | IEEE Conference Publication | IEEE Xplore