An attack tree-based approach for vulnerability assessment of communication-based train control systems | IEEE Conference Publication | IEEE Xplore