Aspect-oriented modeling of attacks in automotive Cyber-Physical Systems
Attacks against process control systems: risk assessment, detection, and response