NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP
Generating model-based test cases from natural language requirements for space application software