@inproceedings{Robby-etal:TACAS2004,
  author    = "Robby and Edwin Rodr\'{i}guez and Matthew Dwyer and John Hatcliff",
  editor    = {Kurt Jensen and
               Andreas Podelski},
  title     = {Checking Strong Specifications Using an Extensible Software Model Checking Framework},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               10th International Conference, TACAS 2004},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2988},
  pages     = "404--420",
  year      = {2004},
  isbn      = {3-540-21299-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}