Development of safety-critical systems needs stringent requirements specification and verification to prevent catastrophic failure. This research accounts for syntac-tic and semantic differences between two formal verification tools: FRET, which generates Linear Temporal Logic (LTL) from natural language requirements; WEST, which works with Mission-time LTL (MLTL) formulas. This study cre-ates tool support for the automatic translation of the temporal logic generated by FRET to the temporal logic format expected by WEST. This translation is syntac-tically bridging and semantically preserving with bidirectional traceability to pri-mal requirements. Our solution utilizes regular expression-based mapping, varia-ble normalization, and mission-time interval translation to transform FRET’s LTL specifications to WEST’s MLTL syntax. A proof-of-concept JavaScript translator iteratively constructed through case studies, was incorporated as a feature within the FRET tool. Comparative validation in collaboration with the MU-FRET and WEST teams confirmed the efficacy of the framework. This research demon-strates enhanced reliability and efficiency in safety-critical requirements engineer-ing, with future research on semantic equivalence verification, cloud-native de-ployment, and human-centric interfaces.