Multi-Staged Quality Assurance for Self-Adaptive Systems. - Markus Luckey; Christian Thanos; Christian Gerth; Gregor Engels (SASO Workshops, 2012)