@inproceedings{SPLC-2002-Mannion,
	author        = "Mike Mannion",
	booktitle     = "{Proceedings of the Second International Software Product Line Conference}",
	doi           = "10.1007/3-540-45652-X_11",
	isbn          = "3-540-43985-4",
	pages         = "176--187",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Using First-Order Logic for Product Line Model Validation}",
	volume        = 2379,
	year          = 2002,
}