L. Cai, D. D. Gajski, “System Level Design Using SpecC Profiler,” TR 02-08, April 1, 2002. download pdf