Multi-Level Modeling of Wireless Embedded Systems