Model checking a SystemC/TLM design of the AMBA AHB protocol | IEEE Conference Publication | IEEE Xplore