Automatic equivalence checking for SystemC-TLM 2.0 models against their formal specifications | IEEE Conference Publication | IEEE Xplore