Model-based testing for embedded systems. (©2012)