Runtime Verification Monitor Construction for Three-valued PPTL. - Xiaobing Wang; Dongmiao Liu; Liang Zhao 021; Yina Xue (SOFL+MSVL, 2016)