Farrell, M., Luckcuck, M., Sheridan, O., & Monahan, R. (2022, May). Towards Refactoring FRETish Requirements. Presented at NASA Formal Methods Symposium (NFM) 2022, California, USA