@techreport{ schneider87understanding,
    author = "Fred B. Schneider",
    title = "Understanding Protocols for {B}yzantine Clock Synchronization",
    number = "TR 87--859",
    institution =  "Cornell University",
    address = "Dept. of Computer Science, Upson Hall, Ithaca, NY 14853",
    year = "1987",
    url = "citeseer.ist.psu.edu/schneider87understanding.html" }



@inproceedings{ shankar92mechanical,
    AUTHOR = {Natarajan Shankar},
    TITLE = {Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock Synchronization},
    BOOKTITLE = {Formal Techniques in Real-Time and Fault-Tolerant Systems},
    YEAR = {1992},
    EDITOR = {{J.} Vytopil},
    SERIES = {Lecture Notes in Computer Science},
    VOLUME = {571},
    PAGES = {217--236},
    ADDRESS = {Nijmegen, The Netherlands},
    MONTH = {jan},
    PUBLISHER = {Springer-Verlag},
    URL = {http://www.csl.sri.com/papers/ftrtft92-ns/}
}

@article{lamport_cs,
 author = {Leslie Lamport and P. M. Melliar-Smith},
 title = {Synchronizing clocks in the presence of faults},
 journal = {J. ACM},
 volume = {32},
 number = {1},
 year = {1985},
 issn = {0004-5411},
 pages = {52--78},
 doi = {http://doi.acm.org/10.1145/2455.2457},
 publisher = {ACM Press},
 address = {New York, NY, USA},
}

@inproceedings{lynch_cs,
 author = {Jennifer Lundelius and Nancy Lynch},
 title = {A new fault-tolerant algorithm for clock synchronization},
 booktitle = {PODC '84: Proceedings of the third annual ACM symposium on Principles of distributed computing},
 year = {1984},
 isbn = {0-89791-143-1},
 pages = {75--88},
 location = {Vancouver, British Columbia, Canada},
 doi = {http://doi.acm.org/10.1145/800222.806738},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }




@InProceedings{bars_leon_tiu,
  author = 	 {Damian Barsotti and Leonor Prensa Nieto and Alwen Tiu},
  title = 	 {Verication of Clock Synchronization Algorithms: Experiments on a combination of deductive tools.},
  year = 	 {2005},
  booktitle = {Proceedings of AVOCS 2005},
  pages = 	 {63-68},
  volume = 	 {145},
  series = 	 {ENTCS},
  publisher = {Elsevier Science B. V.},
  note = 	 {Available by WWW from \url{http://www.cs.famaf.unc.edu.ar/~damian/publications/clock.pdf}}
}



@TechReport{miner93,
  author = 	 {Paul S. Miner},
  title = 	 {Verification of fault-tolerant clock synchronization systems},
  institution =  {NASA Langley Research Center},
  year = 	 {1993},
  type = 	 {NASA Technical Paper},
  number = 	 {3349},
  month = 	 {November}
}

@misc{cvclite,
    key = {CVC Lite},
    title = {{CVC Lite} home page},
    year = {2006},
    howpublished = {\url{http://verify.stanford.edu/CVCL/}},
}

@misc{ics,
    key = {ICS},
    title = {{ICS: Integrated Canonizer and Solver} home page},
    year = {2006},
    howpublished = {\url{http://ics.csl.sri.com/}},
}
