TimeSeriesBench: An Industrial-Grade Benchmark for Time Series Anomaly Detection Models | IEEE Conference Publication | IEEE Xplore