KPI-Based Service Composition Modeling and Optimization with Design Time User Interaction. - Freddy Lécué; Nikolay Mehandjiev; Jürgen Vogel 001; Patrick Un; Bernhard Neu (IEEE SCC, 2012)