@conference {331,
	title = {Automated goal operationalisation based on interpolation and {SAT} solving},
	booktitle = {36th International Conference on Software Engineering, {ICSE} {\textquoteright}14, Hyderabad, India - May 31 - June 07, 2014},
	year = {2014},
	publisher = {{ACM}},
	organization = {{ACM}},
	doi = {10.1145/2568225.2568323},
	url = {http://doi.acm.org/10.1145/2568225.2568323},
	author = {Degiovanni, Renzo and Alrajeh, Dalal and Nazareno Aguirre and Sebasti{\'a}n Uchitel},
	editor = {Pankaj Jalote and Lionel C. Briand and Andr{\'e} van der Hoek}
}