Temporal-Logic-Based Semantic Fault Diagnosis With Time-Series Data From Industrial Internet of Things | IEEE Journals & Magazine | IEEE Xplore