Formal Verification of a Hybrid Machine Learning-Based Fault Prediction Model in Internet of Things Applications | IEEE Journals & Magazine | IEEE Xplore