A Model-Checking Static Analysis of Task-Based Energy Neutrality for Energy Harvesting IoT | IEEE Conference Publication | IEEE Xplore