Travis D. Breaux, David G. Gordon. Regulatory Requirements Traceability and Analysis Using Semi-formal Specifications. In Joerg Doerr, Andreas L. Opdahl, editors, Requirements Engineering: Foundation for Software Quality - 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings. Volume 7830 of Lecture Notes in Computer Science, pages 141-157, Springer, 2013. [doi]
Abstract is missing.