The craft of model-based testing. (2017)