SimuLizar: Design-Time modeling and Performance Analysis of Self-Adaptive Systems
M. Becker, S. Becker, J. Meyer, in: Proceedings of the Software Engineering (SE), Gesellschaft f\'22ur Informatik (GI), 2013, pp. 71–84.