@inproceedings{GTTSE-2005-BenavidesSMC,
	author        = "David Benavides and Sergio Segura and Pablo Trinidad Martín-Arroyo and Antonio Ruiz Cortés",
	booktitle     = "{Revised Papers of the First International Summer School on Generative and Transformational Techniques in Software Engineering}",
	doi           = "10.1007/11877028_16",
	editor        = "Ralf Lämmel and João Saraiva and Joost Visser",
	isbn          = "3-540-45778-X",
	pages         = "399--408",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Using Java CSP Solvers in the Automated Analyses of Feature Models}",
	volume        = 4143,
	year          = 2005,
}