[bib10_biblio01]  ARM AMBA Specification and Multilayer AHB Specification (rev2.0), http://www.arm.com, 2001.
[bib10_biblio02]  ARM AMBA AXI Specification, www.arm.com/armtech/AXI.
[bib10_biblio03]  “STBus Communication System: Concepts and Definitions,” Reference Guide, STMicro-electronics, May 2003.
[bib10_biblio04]  IBM CoreConnect Specification, http://www.ibm.com/chips/techlib/techlib.nsf/productfamilies/CoreConnect_Bus_Architecture.
[bib10_biblio05]  Sonics SMART Interconnect, http://www.sonicsinc.com.
[bib10_biblio06]  E. Clarke, E. Emerson and A. Sistla, “Automatic verification of finite-state concurrent systems using temporal logic specifications,” ACM Transactions on Programming Languages and Systems, Vol. 8, No. 2, 1986. ...