@conference {191,
	title = {Generating obstacle conditions for requirements completeness},
	booktitle = {Software Engineering (ICSE), 2012 34th International Conference on},
	year = {2012},
	pages = {705-715},
	publisher = {IEEE press},
	organization = {IEEE press},
	doi = {10.1109/ICSE.2012.6227147},
	author = {Alrajeh, Dalal and Jeff Kramer and Van Lamsweerde, A. and Russo, A. and Sebasti{\'a}n Uchitel}
}