BibTex format
@inproceedings{Alrajeh:2012:10.1109/ICSE.2012.6227147,
author = {Alrajeh, D and Kramer, J and van, Lamsweerde A and Uchitel, S and Russo, A},
doi = {10.1109/ICSE.2012.6227147},
pages = {705--715},
publisher = {IEEE},
title = {Generating obstacle conditions for requirements completeness},
url = {http://dx.doi.org/10.1109/ICSE.2012.6227147},
year = {2012}
}