Automated design of self-adaptive software with control-theoretical formal guarantees

@inproceedings{Filieri-al:ICSE14,
  author    = {Antonio Filieri and
               Henry Hoffmann and
               Martina Maggio},
  title     = {Automated design of self-adaptive software with control-theoretical formal guarantees},
  booktitle = {ICSE},
  pages     = {299--310},
  publisher = {{ACM}},
  year      = {2014},
}