Testing self-healing cyber-physical systems under uncertainty: a fragility-oriented approach.