A Model-Based Validated Autonomic Approach to Self-Protect Computing Systems | Synapse