@inproceedings{HachichaHK,
  author    = {Marwa Hachicha and
               Riadh Ben Halima and
               Ahmed Hadj Kacem},
  title     = {Modeling and Verifying Self-adaptive Systems:A Refinement Approach},
  booktitle = {The 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC2016)},
  pages     = {1--6},
  year      = {2016},
}