Model-based Software Performance Analysis