Addressing the QoS drift in specification models of self-adaptive service-based systems | IEEE Conference Publication | IEEE Xplore