Symbolic test generation for hierarchically modeled digital systemsZaugarov, Viktor1993 https://www.ester.ee/record=b2090336*est