Knowledge-based functional specification of test and maintenance programs. - Chantal Robach; Daniel Lutoff; Nouar Garcia (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1989)