Strnadel, J. (2006). Testability Analysis and Improvements of Register-Transfer Level Digital Circuits. Computing and Informatics, 25(5), 441–464. https://cai.type.sk/content/2006/5/testability-analysis-and-improvements-of-register-transfer-level-digital-circuits/