@inproceedings{aHachichaHK18,
  author    = {Marwa Hachicha and
               Riadh Ben Halima and
               Ahmed Hadj Kacem},
  title     = {Translation of UML models for self-adaptive systems  into Event-B specifications},
  booktitle = {Intelligent Systems Design and Applications - 18th International Conference
               on Intelligent Systems Design and Applications {(ISDA} 2017) Held
               in Delhi, India, December 14-16, 2017},
  year      = {2018}
}