Formal Security Analysis of ISA100.11a Standard Protocol Based on Colored Petri Net Tool. - Tao Feng 007; Taining Chen; Xiang Gong (Inf., 2024)