Semantic Rule Based Program Monitoring (S). - Luke Tudor; Jing Sun 002; Hai H. Wang; Bingyang Wei (SEKE, 2019)