SimuLizar: Design-Time Modelling and Performance Analysis of Self-Adaptive Systems
M. Becker, S. Becker, and J. Meyer. Proceedings of Software Engineering 2013, volume P-213 of Lecture Notes in Informatics (LNI), page 71--84. Bonn, Germany, Gesellschaft für Informatik e.V.\ (GI), (2013)