EScope: Effective Event Validation for IoT Systems Based on State Correlation | TUP Journals & Magazine | IEEE Xplore