Security Verification for Cyber-Physical Systems Using Model Checking. - Ching-Chieh Chan; Cheng-Zen Yang; Chin-Feng Fan (IEEE Access, 2021)