Evaluating Model-Based Testing in an Industrial Project: An Experience Report