A statechart based HW/SW codesign system. - I. D. Bates; E. Graeme Chester; David J. Kinniment (CODES, 1999)