Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing. - Lisa M. Boden; Robert Busser; Mark R. Blackburn; Aaron Nauman (SEW, 2005)