Hong Min, Sangho Yi, Yookun Cho, Jiman Hong: An efficient dynamic memory allocator for sensor operating systems. SAC 2007: 1159-1164