Hierarchical approaches to test generation and fault simulationUbar, Raimund-JohannesRadioelectronics and informatics2003 / p. 204