@INPROCEEDINGS{benavides07-vamos,
  author = {D.~Benavides and S.~Segura and P.~Trinidad and A.~Ruiz--Cortés},
  title = {{FAMA}: Tooling a Framework for the Automated Analysis of Feature
	Models},
  booktitle = {Proceeding of the First International Workshop on Variability Modelling
	of Software-intensive Systems (VAMOS)},
  year = {2007},
}