Benchmark Tests for the Model-Checking-Based IDS Algorithms. - Miaolei Deng; Heling Cao; Weijun Zhu; Huanmei Wu; Yangyue Zhou (IEEE Access, 2019)