Bridging the Gap Between Requirements and Aspect State Machines to Support Non-Functional Testing: Industrial Case Studies