@incollection{sh2007-ws,
  title = "Model Checking with Abstraction for Web Services",
  author = "Sharygina, Natasha and Kroening, Daniel",
  year = "2007",
  booktitle = "Test and Analysis of Web Services",
  editor = "Luciano Baresi and Elisabetta DiNitto",
  isbn = "3540729119",
  pages = "121--145",
  publisher = "Springer",
}