Testing complex and embedded systems. (©2011)