Supporting quantitative reasoning of non-functional requirements: A process-oriented approach | IEEE Conference Publication | IEEE Xplore