@article{cHachichaHK18,
  author    = {Marwa Hachicha and
               Riadh Ben Halima and
               Ahmed Hadj Kacem},
  title     = {Modelling, specifying and verifying self-adaptive systems instantiating
               {MAPE} patterns},
  journal   = {{International Journal of Computer Applications in Technology}},
  volume    = {57},
  number    = {1},
  pages     = {28--44},
  year      = {2018},
  doi       = {10.1504/IJCAT.2018.10010965},
}