Integrated Development Environment, quantitative analysis, Software Product Lines, statistical model checking, tool paper.