@inproceedings{Rod:rds12,
  author = "Rodrigues, L. and Ver\'{\i}ssimo, P. and Casimiro, A.",
  address = "Princeton, New Jersey",
  booktitle = "Proceedings of the 12th Symposium on Reliable Distributed Systems (SRDS'12)",
  organization = "IEEE",
  month = oct,
  pages = "115-124",
  title = "Using atomic broadcast to implement {\em a posteriori} agreement for clock synchronization",
  year = "1993",
}