Mithra: Anomaly Detection as an Oracle for Cyberphysical Systems | IEEE Journals & Magazine | IEEE Xplore