SEAMS: Software Engineering for Adaptive and Self-Managing Systems