Aspect-oriented modeling of attacks in automotive Cyber-Physical Systems
basic concepts and taxonomy of dependable and secure computing .