A Light-weighted Operating System with Deadlock Prevention Strategy for Wireless Sensor Nodes | IEEE Conference Publication | IEEE Xplore