QoS Modeling of Cyber Physical Systems by the Integration of AADL and Aspect-Oriented Methods.