Text this: Seamless model interoperability for software design and analysis