selected publications conference paper Mapping of high-level SDL models to efficient implementations for TinyOS. Digital Systems Design. 402-406. 2004 Mapping of high-level SDL models to efficient implementations for TinyOS 2004 A system-on-chip implementation of the IEEE 802.11a MAC layer 2003