Generating obstacle conditions for requirements completeness - Alrajeh, D; Kramer, J; van, Lamsweerde A; Uchitel, S; Russo, A (IEEE, 2012)