@ARTICLE{batory06-CACM,
  author = {D.~Batory and D.~Benavides and A.~Ruiz--Cort\'es},
  title = {Automated Analysis of Feature Models: Challenges Ahead},
  journal = {Communications of the ACM},
  year = {2006},
  volume = {December},
}