@inproceedings{SPLC-2004-FantechiGLN,
	author        = "Alessandro Fantechi and Stefania Gnesi and Giuseppe Lami and E. Nesti",
	booktitle     = "{Proceedings of the Third International Software Product Line Conference}",
	doi           = "10.1007/978-3-540-28630-1_16",
	isbn          = "3-540-22918-3",
	pages         = "255--265",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{A Methodology for the Derivation and Verification of Use Cases for Product Lines}",
	volume        = 3154,
	year          = 2004,
}