To extend this method to handle requirements written in natural language, a natural language processing (NLP) component can be integrated into the process. NLP techniques can be used to parse and extract key information from natural language requirements. By utilizing NLP tools and algorithms, the system can convert the natural language requirements into structured formats or logical expressions that can then be analyzed using the SAT-Solver. This conversion process would involve mapping natural language constructs to logical symbols and operations, similar to how structured requirements were transformed in the current method. Additionally, machine learning algorithms can be employed to improve the accuracy of the conversion process and handle the variability and ambiguity often present in natural language requirements.