Reasoning about adaptive requirements for self-adaptive systems at runtime | IEEE Conference Publication | IEEE Xplore