“This gave our engineers new insights, both in how to use the modeling to create better requirements and using our using our domain knowledge to reduce the costs in our testing efforts.”