Cyber-physical systems (CPS), particularly those within the safety-critical domain, must continually ensure that their requirements are being satisfied. To support online requirements satisfaction, a CPS can be modeled with self-adaptive characteristics (SA-CPS) to enable the system to self-reconfigure as uncertainty manifests in both the environment and the system itself. For instance, unexpected weather conditions, misunderstood requirements, or system hardware failures may lead to observed behavioral faults and/or requirements violations, thereby necessitating a change of sys
