A Feature-Based Classification of Model Repair Approaches | IEEE Journals & Magazine | IEEE Xplore