@article{KacemTK21,
  author    = {Mohamed {Hadj Kacem} and
               Imen Tounsi and
               Ahmed {Hadj Kacem}},
  title     = {MeidyaCoM-policy: Approach for modelling and checking repair policies
               for self-healing systems},
  journal   = {{IET} Software},
  volume    = {15},
  number    = {4},
  pages     = {260--276},
  year      = {2021},
  url       = {https://doi.org/10.1049/sfw2.12026},
  doi       = {10.1049/sfw2.12026},
  timestamp = {Tue, 16 Aug 2022 23:08:31 +0200},
  biburl    = {https://dblp.org/rec/journals/iet-sen/KacemTK21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}