@InProceedings{fig-shaman02,
  author =       {Pete Broadwell and Naveen Sastry and Jonathan Traupman},
  title =        "{FIG}: A Prototype Tool for Online Verification of Recovery Mechanisms",
  year =      {2002},
  month =     {June},
}