Bernhard P. Bettig J. D. Summers Jami J. Shah 45-58 2000 conf/kic/2000 Knowledge Intensive CAD db/conf/kic/kic2000.html#BettigSS00