@PhdThesis{Livadas-PhD,
  author =       "Livadas, Carolos",
  title =        "{Formally Modeling, Analyzing, and Designing Network
                  Protocols~---~A Case Study on Retransmission-Based
                  Reliable Multicast Protocols}",
  school =       MIT, 
  year =         "2003",
  month =        jul,
  type =         "{Doctor of Philosophy Thesis, Dept.\ of Electrical Engineering
                 and Computer Science}",
}