A correct by construction approach for modeling and formalizing self-adaptive systems. - Marwa Hachicha; Emna Dammak; Riadh Ben Halima; Ahmed Hadj Kacem (SNPD, 2016)