A process to increase the model quality in the context of model-based testing | IEEE Conference Publication | IEEE Xplore