Agnisys: Pioneers in Specification Automation and Beyond