Automatic Translation of Unstructured Requirements into Linear Temporal Logic through Large Language Models | Digital Library | PAMCET | PAMCET