Design-for-Test Using Simulink and Stateflow - Evgeni Perelroyzen (Taylor and Francis, 2007)