Stefan Fischer Jacek Wytrebowicz Stanislaw Budkowski Tool support for hardware/software co-design of communication protocols. 1158-1168 2000 23 Computer Communications 12 http://dx.doi.org/10.1016/S0140-3664(99)00243-1 db/journals/comcom/comcom23.html#FischerWB00