Modeling Architectural Non Functional Requirements: From Use Case to Control Case | IEEE Conference Publication | IEEE Xplore