A symbolic reasoning based anomaly detection for gas turbine subsystems | IEEE Conference Publication | IEEE Xplore