Space shuttle main propulsion system anomaly detection: A case study | IEEE Journals & Magazine | IEEE Xplore