@article{DBLP:journals/iet-sen/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} Softw.},
  volume    = {15},
  number    = {4},
  pages     = {260--276},
  year      = {2021},
  url       = {https://doi.org/10.1049/sfw2.12026},
  doi       = {10.1049/sfw2.12026},
}