Verified Telemetry: A General, Easy to use, Scalable and Robust Fault Detection SDK for IoT Sensors. - Tanmaey Gupta; Shubhankar Handa; Akshay Nambi 001 (IoTDI, 2023)