Jaan Raik Tanel Nõmmeots Raimund Ubar A New Testability Calculation Method to Guide RTL Test Generation. 71-82 2005 21 J. Electronic Testing 1 http://dx.doi.org/10.1007/s10836-005-5288-5 db/journals/et/et21.html#RaikNU05