Performance Comparison and Optimization: Case Studies using BenchIT. - Robert Schöne; Guido Juckeland; Wolfgang E. Nagel; Stefan Pflüger; R. Wloch (PARCO, 2005)