Parameterized Interfaces for Open System Verification of Product Lines

@inproceedings{Blundell-al:ASE04,
  author    = {Colin Blundell and
               Kathi Fisler and
               Shriram Krishnamurthi and
               Pascal Van Hentenryck},
  title     = {Parameterized Interfaces for Open System Verification of Product Lines},
  booktitle = {ASE},
  pages     = {258--267},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
}