Implementing Non-Functional Requirements - A Layered Modeling Approach | VDE Conference Publication | IEEE Xplore