@INPROCEEDINGS{benavides08-splc,
  author = {J.~White and D.~Schmidt and D.~Benavides P.~Trinidad and A.~Ruiz-Cortes},
  title = {Automated Diagnosis of Product-line Configuration Errors in Feature Models},
  booktitle = {Proceedings of the Sofware Product Line Conference},
  year = {2008},
}