Towards Bridging the Gap between Control and Self-Adaptive System Properties (Jun 2020) Javier Camara Moreno , Alessandro Papadopoulos, Danny Weyns , Thomas Vogel , David Garlan , Shihong Huang, Kenji Tei International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2020)