DATE'02 : proceedings 2002 design, automation and test in Europe conference and exhibition, March 4-8, 2002 Paris, France. Los Alamitos : IEEE, 2002. ISBN 0-7695-1471-5. I*