Probabilistic Event Processing with Negation Operators in Cyber Physical Systems. - Na Mao; Jie Tan (CyberC, 2015)