Symbolic Test Generation for Hierarchically Modeled Digital Systems. - P. N. Anirudhan; Premachandran R. Menon (ITC, 1989)