Discovering the top-k unexplained sequences in time-stamped observation data