Energy Efficient Message Scheduling with Redundancy Control for Massive IoT Monitoring | IEEE Conference Publication | IEEE Xplore