TinyOS implementation of PulseSync