SimuLizar: Design-Time Modeling and Performance Analysis of Self-Adaptive Systems. - Matthias Becker 001; Steffen Becker 001; Joachim Meyer 004 (Software Engineering, 2013)