Quantitative Verification of Non-Functional Requirements with Uncertainty