An Automated Model Abstraction Approach door Yasser Ibrahim