Testing Non-Functional Requirements with Aspects: An Industrial Case Study.