Aspect-oriented modeling of attacks in automotive Cyber-Physical Systems
Secure Control: Towards Survivable Cyber-Physical Systems