Model-based testing for embedded systems. (2017)