George Mathew, Tim Menzies, Neil A. Ernst, John Klein: "SHORT"er Reasoning About Larger Requirements Models. RE 2017: 154-163