The Interplay of Design and Runtime Traceability for Non-Functional Requirements | IEEE Conference Publication | IEEE Xplore