Symbolic test generation for hierarchically modeled digital systems
Zaugarov, Viktor
1993
https://www.ester.ee/record=b2090336*est