Johan Åkesson: Languages and Tools for Optimization of Large-Scale Systems. Lund University, Sweden 2007