Enhancing Cyber-Resilience in Self-Healing Cyber-Physical Systems with Implicit Guarantees