@INPROCEEDINGS{benavides06-splc,
  author = {D.~Benavides and S.~Segura and P.~Trinidad and A.~Ruiz-Cortés},
  title = {A first step towards a framework for the automated
analysis of feature models},
  booktitle = {Managing Variability for Software Product Lines: Working With Variability Mechanisms},
  year = {2006},
}