selected publications conference paper Benefits and drawbacks of target specific model-based testing. . 2017