Digital integrated circuits design-for-test using Simulink and Stateflow - Perelroyzen, Evgeni (CRC Press, 2007)