Using behavior models for anomaly detection in hybrid systems | IEEE Conference Publication | IEEE Xplore