Bhaskar Pal Ansuman Banerjee Pallab Dasgupta P. P. Chakrabarti BUSpec: A framework for generation of verification aids for standard bus protocol specifications. 285-304 2007 40 Integration 3 http://dx.doi.org/10.1016/j.vlsi.2005.12.004 db/journals/integration/integration40.html#PalBDC07