Andrew W. Crapo, Abha Moitra, Craig McMillan, Daniel Russell. Requirements Capture and Analysis in ASSERT(TM). In 25th IEEE International Requirements Engineering Conference, RE 2017, Lisbon, Portugal, September 4-8, 2017. pages 283-291, IEEE Computer Society, 2017. [doi]
Abstract is missing.