Quantitative system evaluation with Java modeling tools · Study