Assuring the runtime behavior of self-adaptive cyber-physical systems using feature modeling.