Model-Based Approach for Exploring the Space of Adaptation Behaviors of Safety-Related Embedded Systems