[1]
Krause, J.; Weißleder, S.; Girlich, T. (2012). Automatic traceability from tests to requirements by requirements-based refinement, 9th Symposium on Formal Methods for Automation and Safety in Railway and Automative Systems, 11.-13.12.2012 , Braunschweig, pp.134–145