Analysis Space Reduction with State Merging for Ensuring Safety Properties of Self-Adaptive Systems | IEEE Conference Publication | IEEE Xplore