A Systematic Approach to Automatically Derive Test Cases From Use Cases Specified in Restricted Natural Languages