@inproceedings{WachterWestphal2007,
  author       = "Bj{\"o}rn Wachter and Bernd Westphal",
  title        = "The Spotlight Principle.  On Combining Process-Summarising
                  State Abstractions",
  year         = "2007",
  crossref     = "ProcVMCAI2007",
  pages        = "182--198"
}

@proceedings{ProcVMCAI2007,
  editor    = {Byron Cook and Andreas Podelski},
  title     = {Verification, Model Checking, and Abstract Interpretation,
               8th International Conference, VMCAI 2007, Nice, France,
               January 14-16, 2007, Proceedings},
  booktitle = {VMCAI},
  publisher = {Springer-Verlag},
  series    = {Lecture Notes in Computer Science},
  volume    = {4349},
  year      = {2007},
  isbn      = {3-540-69735-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}