Dagstuhl Publications 2007

Model-Based Engineering of Embedded Real-Time Systems

Algorithms for Sensor and Ad Hoc Networks

Common Component Modeling Example

6. INEX Workshop 2007