George Mathew, Tim Menzies, Neil A. Ernst, John Klein. "SHORT"er Reasoning About Larger Requirements Models. In 25th IEEE International Requirements Engineering Conference, RE 2017, Lisbon, Portugal, September 4-8, 2017. pages 154-163, IEEE Computer Society, 2017. [doi]
Abstract is missing.