Software Engineering for Self-Adaptive Systems III. Assurances : International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers - de Lemos, Rogério.; Garlan, David.; Ghezzi, Carlo.; Giese, Holger. (Springer International Publishing : Imprint: Springer, 2017)