QoS Modeling for Dependable and Distributed Cyber Physical Systems Using Aspect-Oriented Approach | IEEE Conference Publication | IEEE Xplore