Model-Based Development of Middleware forSelf-Configurable Embedded Real Time Systems : Experiences from the DySCAS Project