Executable Model Based Testing for Self-Healing Cyber-Physical Systems Under Uncertainty