Text this: Fundamental Research on Detecting Contradictions in Requirements: Taxonomy and Semi-Automated Approach