Introducing model-based testing in an industrial scrum project | IEEE Conference Publication | IEEE Xplore