TinyReef: a register-based virtual machine for Wireless Sensor Networks http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5398437