Before revision:  Our approach integrates information extraction and clustering with simulation and formal analysis to allow for  automated iterative process that includes assembling, testing and selecting  most relevant models, given a set of desired system properties.
After revision:  Our approach integrates information extraction and clustering with simulation and formal analysis to allow for an automated iterative process that includes assembling, testing and selecting most relevant models, given a set of desired system properties.