A requirements-based approach for the design of adaptive systems | IEEE Conference Publication | IEEE Xplore