Operating Systems for Wireless Sensor Networks