Jean-Pierre Talpin David Berner Sandeep K. Shukla Paul Le Guernic Abdoulaye Gamatié Rajesh Gupta A Behavioral Type Inference System for Compositional System-on-Chip Design. 47-56 2004 conf/acsd/2004 ACSD http://csdl.computer.org/comp/proceedings/acsd/2004/2077/00/20770047abs.htm db/conf/acsd/acsd2004.html#TalpinBSGGG04