A dual-process cognitive model for testing resilient control systems | IEEE Conference Publication | IEEE Xplore