Text this: Automation Processes for Efficient Verification of Complex Systems: An Empirical Case Study