S. Kounev, K. Bender, F. Brosig, N. Huber, and R. Okamoto. 4th International ICST Conference on Simulation Tools and Techniques (SIMUtools 2011), March 21--25, 2011, Barcelona, Spain, (March 2011)Acceptance Rate (Full Paper): 29.8\% (23/77), <b>ICST Best Paper Award</b>.