Attack-defense trees based cyber security analysis for CPSs
Foundations of Attack Trees