Initial findings on the evaluation of a model-based testing tool in the test design process | IEEE Conference Publication | IEEE Xplore