Hierarchical test synthesis for digital systems using alternative graph model
Ubar, Raimund-Johannes
Quantitative aspects of designing and validating dependable computing systems
1995