TY - CONF A1 - Dietterle, Daniel A1 - Ryman, J. A1 - Dombrowski, Kai F. A1 - Kraemer, Rolf T1 - Mapping of High-Level SDL Models to Efficient Implementations for TinyOS Y1 - 2011 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/5948 ER -