A Model-based Approach for Achieving Available Automation Systems | Publicación