Digital Integrated Circuits : Design-for-Test Using Simulink and Stateflow - Perelroyzen, Evgeni (CRC Press)