@INPROCEEDINGS{benavides06-jisbd,
  author = {D.~Benavides and A.~Ruiz-Cortés and P.~Trinidad and S.~Segura.},
  title = {A Survey on the Automated Analyses of Feture Models},
  booktitle = {Jornadas de Ingeniería del Software y Bases de Datos (JISBD)},
  year = {2006},
}