Formal Language Generation for Fault Diagnosis With Spectral Logic via Adversarial Training | IEEE Journals & Magazine | IEEE Xplore