Mechanisms for Leveraging Models at Runtime in Self-adaptive Software. - Amel Bennaceur; Robert B. France; Giordano Tamburrelli; Thomas Vogel 001; Pieter J. Mosterman; Walter Cazzola; Fábio M. Costa; Alfonso Pierantonio; Matthias Tichy; Mehmet Aksit; Pär Emmanuelson; Gang Huang 001; et al. (Models@run.time@Dagstuhl, 2011)