Big-data-driven anomaly detection in industry (4.0): An approach and a case study | IEEE Conference Publication | IEEE Xplore