@inproceedings{SPLC-2009-HubauxCH,
	author        = "Arnaud Hubaux and Andreas Claßen and Patrick Heymans",
	booktitle     = "{Proceedings of the 13th International Software Product Line Conference}",
	doi           = "10.1145/1753235.1753266",
	pages         = "221--230",
	publisher     = "{ACM}",
	series        = "{ACM International Conference Proceeding Series}",
	title         = "{Formal modelling of feature configuration workflows}",
	volume        = 446,
	year          = 2009,
}