Verifying Sensor Readings and Event Notifications through Monitoring Co-located IoT Devices