Reasoning on Non-Functional Requirements for Integrated Services | IEEE Conference Publication | IEEE Xplore