@InProceedings{SCI:Pal2008a,
  author =    "R. Palmer and M. DeLisi and G. Gopalakrishnan and
              R.M. Kirby",
  title =     "An Approach to Formalization and Analysis of
              Message Passing Libraries",
  booktitle = "Proceedings of the 12th International Workshop on
              Formal Methods for Industrial Critical Systems
              ({FMICS} 2007)",
  volume =    "4916/2008",
  pages =     "164--181",
  year =      "2008",
  location =  "Berlin, Germany",
  note =      "Awarded Best Paper.",
}