Real-time scheduling for energy harvesting sensor nodes