An Automated Model Abstraction Approach by Yasser Ibrahim