On the Ability of Lightweight Checks to Detect Ambiguity in Requirements Documentation. - Martin Wilmink; Christoph Bockisch (REFSQ, 2017)