Model-Based Anomaly Detection for Discrete Event Systems
Learning Behavior Models for Hybrid Timed Systems