Antonio Lioy, Massimo Poncino: A hierarchical multi-level test generation system. Great Lakes Symposium on VLSI 1991: 54-59