Akihiko Ohtaka Parametrics: state of the art and future issues. 513-517 2003 conf/ispe/2003 ISPE CE db/conf/ispe/ispe2003.html#Ohtaka03