Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach