Using model-based design to test auto embedded software

The EETimes article, "Using model-based design to test auto embedded software," by Jim Tung of the Mathworks gives a good overview of the issues involved in testing embedded software with a focus on the automotive sector.