Anomaly Detection in a Digital Video Broadcasting System Using Timed Automata
Time series anomaly discovery with grammar-based compression.