An approach to system-level design for testJervan, Gert; Ubar, Raimund-Johannes; Peng, Z.; Eles, PetruSystem-level test and validation of hardware/software systems2005 / p. 121-149 : ill Test generation : a hierarchical approachJervan, Gert; Ubar, Raimund-Johannes; Peng, Z.; Eles, PetruSystem-level test and validation of hardware/software systems2005 / p. 67-81 : ill