SEL, a new event pattern specification language for event correlation | IEEE Conference Publication | IEEE Xplore