J. Peng, L. Cai, A. Gerstlauer, D. D. Gajski, “Interactive System Design Flow,” TR 02-15, April 15, 2002. download pdf