5/12 Sebastian Uchitel presents at ICSE 2012 in Zurich: Generating obstacle conditions for requirements completeness.