An Automated Model Abstraction Approach