FRET2WEST: Exploring translation between temporal logic representations. - Songyan Lai; Rosemary Monahan (J. Object Technol., 2026)