Nathan Cooprider Will Archer Eric Eide David Gay John Regehr Efficient memory safety for TinyOS. 205-218 2007 SenSys http://doi.acm.org/10.1145/1322263.1322283 conf/sensys/2007 db/conf/sensys/sensys2007.html#CoopriderAEGR07