Automated model-based performance analysis of software product lines under uncertainty.