Nils Rosemann Bastian Neumann Werner Brockmann Formale Eigenschaften des SILKE-Ansatzes zur Kontrolle selbstoptimierender Systeme. 755-762 2008 GI Jahrestagung (2) conf/gi/2008-2 db/conf/gi/gi2008-2.html#RosemannNB07