Philippe Basset Gabriele Saucier Top down design and testability of VLSI circuits. 851-857 1982 DAC http://doi.acm.org/10.1145/800263.809299 conf/dac/1982 db/conf/dac/dac1982.html#BassetS82