@phdthesis{Stoller97,
  author = "Scott D. Stoller",
  title = "A Method and Tool for Analyzing Fault-Tolerance in Systems",
  school= "Cornell University",
  month = may,
  year = "1997",
  advisor="Fred B. Schneider",
  note="Available via http://www.cs.indiana.edu/\~{}stoller/\ {}",
}