Florence Sellini Pierre-Alain Yvars Veri-KoMoD: Verification of Knowledge Models in the Mechanical Design Field. 385-390 http://link.springer.de/link/service/series/0558/bibs/1621/16210385.htm 1999 conf/ekaw/1999 EKAW db/conf/ekaw/ekaw1999.html#SelliniY99