@InProceedings{ChangBerezinDill04,
  author =       {Jacob Chang and Sergey Berezin and David L. Dill},
  title =        {Using Interface Refinement to Integrate Formal Verification in
to the Design Cycle},
  crossref =     {CAV2004},
  OPTpages =     {},
}

@proceedings{CAV2004,
  editor    = {Rajeev Alur and Doron A. Peled},
  title     = {Computer Aided Verification, 16th International Conference, CAV
               2004, Boston, Massachusetts, USA, July 13-17, 2004, Proceedings},
  booktitle = {CAV},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  OPTvolume    = {},
  year      = {2004},
  OPTisbn      = {},
}