Hidden Markov based anomaly detection for water supply systems | IEEE Conference Publication | IEEE Xplore