@article{DBLP:journals/jucs/FakhfakhKC21,
  author    = {Fairouz Fakhfakh and
               Slim Kallel and
               Saoussen Cheikhrouhou},
  title     = {Formal Verification of Cloud and Fog Systems: {A} Review and Research
               Challenges},
  journal   = {J. Univers. Comput. Sci.},
  volume    = {27},
  number    = {4},
  pages     = {341--363},
  year      = {2021},
  url       = {https://doi.org/10.3897/jucs.66455},
  doi       = {10.3897/jucs.66455},
}