I recently made an LLM-based tool to identify inconsistencies with the INCOSE guide to writing requirements (identifying vague language, for example). Also have had some success translating those outputs to more structured language like LTL. I think it is doable