@inproceedings{DBLP:conf/snpd/HachichaDHK16,
  author    = {Marwa Hachicha and
               Emna Dammak and
               Riadh Ben Halima and
               Ahmed Hadj Kacem},
  title     = {A correct by construction approach for modeling and formalizing self-adaptive
               systems},
  booktitle = {17th {IEEE/ACIS} International Conference on Software Engineering,
               Artificial Intelligence, Networking and Parallel/Distributed Computing,
               {SNPD} 2016, Shanghai, China, May 30 - June 1, 2016},
  pages     = {379--384},
  year      = {2016},
  doi       = {10.1109/SNPD.2016.7515928},
}