Automated Analyses of IOT Event Monitoring Systems. - Andrew Apicelli; Sam Bayless; Ankush Das; Andrew Gacek; Dhiva Jaganathan; Saswat Padhi; Vaibhav Sharma 001; Michael W. Whalen; Raveesh Yadav (CAV (1), 2023)