Antonio Filieri, Henry Hoffmann, Martina Maggio: Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees. Software Engineering & Management 2015: 112-113