An Evaluation of Quantitative Non-Functional Requirements Assurance Using ArchiMate | IEEE Journals & Magazine | IEEE Xplore