A Case Study: A Model-Based Approach to Retrofit a Network Fault Management System with Self-Healing Functionality | IEEE Conference Publication | IEEE Xplore