TY - CHAP A1 - Ryman, J. A1 - Dietterle, Daniel A1 - Dombrowski, Kai F. A1 - Bubacz, P. T1 - The System Behavioral Model of IEEE 802.15.3 Mac Protocol - Design and Profiling Y1 - 2004 ER - TY - CHAP 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 - 2004 ER -