@ARTICLE{benavides06-GTTSE,
  author = {D. Benavides and S. Segura and P. Trinidad and A. Ruiz--Cort\'es},
  title = {Using Java CSP Solvers in the Automated Analyses of Feature Models},
  journal = {LNCS},
  year = {2006},
  volume = {4143},
  pages = {389--398}
}