Jaushin Lee Janak H. Patel An Architectural Level Test Generator for a Hierarchical Design Environment. 44-51 1991 FTCS db/conf/ftcs/ftcs91.html#LeeP91