A Hard Real-time Virtual Machine for Wireless Sensor Nodes