A Formal Approach to Adaptable-Resources Specification | IEEE Conference Publication | IEEE Xplore