Using Constraint Programming to Manage Configurations in Self-Adaptive Systems | IEEE Journals & Magazine | IEEE Xplore