Xiaofang Chen Steven M. German Ganesh Gopalakrishnan Transaction Based Modeling and Verification of Hardware Protocols. 53-61 2007 conf/fmcad/2007 FMCAD http://doi.ieeecomputersociety.org/10.1109/FMCAD.2007.37 db/conf/fmcad/fmcad2007.html#ChenGG07