A combined testing approach for instruction-set-based data processing devices. - R. Téllez-Girón; K. Ergang; Axel Hunger (Microprocessing and Microprogramming, 1987)