A Methodology for Real-Time Data Verification exploiting Deep Learning and Model Checking | IEEE Conference Publication | IEEE Xplore