LUNAR: A Runtime Verification Tool for Anomaly Detection in Gas Networks. - Julius Gasson; Francesco Belardinelli (AAMAS, 2025)