@inproceedings{Fakhfakh2018,
  author    = {Faten Fakhfakh and
               Mohamed Tounsi and
               Mohamed Mosbah and
               Ahmed Hadj Kacem},
  title     = {Formal Verification Approaches for Distributed Algorithms: A Systematic Literature Review},
  booktitle = {The 22nd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems,
              Belgarde, Serbia,September 3-5, 2018.},
  pages     = {1551--1560},
  year      = {2018},
  publisher={Elsevier}
 }