Mining scalable pattern based on temporal logic over data streams | IEEE Conference Publication | IEEE Xplore