@inproceedings{GabsiZJ16z,
  author    = {Wafa Gabsi and
               Bechir Zalila and
               Mohamed Jmaiel},
  title     = {Extension of the Ocarina Tool Suite to Support Reliable Replication-Based
               Fault-Tolerance},
  booktitle = {Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe
               International Conference on Reliable Software Technologies},
  pages     = {129--144},
  year      = {2016},
  doi       = {10.1007/978-3-319-39083-3_9},
}