High-Level Test synthesis of digial VLSI Circuits - Tien-Chien Lee, Mike (Artech House, 1997)
ΕΠΕΑΕΚ/ΙΤΥ