Starting Model-Based Testing Based on Existing Test Cases Used for Model Creation | IEEE Conference Publication | IEEE Xplore