@inproceedings{GabsiZJ_RST16,
  author    = {Wafa Gabsi and Bechir Zalila and Mohamed Jmaiel},
  title     = {{Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance}},
  booktitle = {{21st Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe)}},
  publisher = {Springer},
  address   = {Pisa, Italy},
  series    = {Lecture Notes in Computer Science},
  volume    = {9695},
  pages     = {129–144},
  year      = {2016},
  month     = {may},
  doi       = {10.1007/978-3-319-39083-3_9},
  note      = {Ranked A on CORE},
}