The rapid progress in embedded hardware and software makes plausible ever more ambitious distributed, multi-layer, multi-objective, adaptive control systems. However, adequate design methodologies and design support lag far behind. Consequently, today most of the cost in system development is spent on ad hoc, prohibitively expensive systems integration and validation techniques that rely almost exclusively on testing the entire system.