Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos. An Algebraic Framework for the Verification of Context-Aware Adaptive Systems. International Journal of Software Engineering and Knowledge Engineering, 25(7):1105-1128, 2015. [doi]
Abstract is missing.