publication venue for Mapping of high-level SDL models to efficient implementations for TinyOS 2004 System-level power optimization 2004