@Article{amann_et_al:DagRep.1.11.91, author = {A{\ss}mann, Uwe and Bencomo, Nelly and Cheng, Betty H. C. and France, Robert B.}, title = {{Models@run.time (Dagstuhl Seminar 11481)}}, pages = {91--123}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2012}, volume = {1}, number = {11}, editor = {A{\ss}mann, Uwe and Bencomo, Nelly and Cheng, Betty H. C. and France, Robert B.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.11.91}, URN = {urn:nbn:de:0030-drops-33794}, doi = {10.4230/DagRep.1.11.91}, annote = {Keywords: Self-adaptive Systems, Feedback Loop, Assurance, Uncertainty, Requirements, Optimization, Adaptation} }