@inproceedings{RbHachichaHK17,
  author    = {Marwa Hachicha and
               Riadh Ben Halima and
               Ahmed Hadj Kacem},
  editor    = {Guobin Zhu and
               Shaowen Yao and
               Xiaohui Cui and
               Simon Xu},
  title     = {Design and timed verification of self-adaptive systems},
  booktitle = {16th {IEEE/ACIS} International Conference on Computer and Information
               Science, {ICIS} 2017, Wuhan, China, May 24-26, 2017},
  pages     = {227--232},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {https://doi.org/10.1109/ICIS.2017.7959998},
  doi       = {10.1109/ICIS.2017.7959998},
}