Anomaly detection in cyber-physical systems: A formal methods approach | IEEE Conference Publication | IEEE Xplore