Giovanni Agosta Francesco Bruschi Donatella Sciuto Static Analysis of Transaction-Level Communication Models. 1412-1424 2008 27 IEEE Trans. on CAD of Integrated Circuits and Systems 8 http://dx.doi.org/10.1109/TCAD.2008.925791 db/journals/tcad/tcad27.html#AgostaBS08