Fault-Tolerance for Component-Based Systems - An Automated Middleware Specialization Approach | IEEE Conference Publication | IEEE Xplore