Modeling Healing Behaviors of Cyber-Physical Systems with Uncertainty to Support Automated Testing