Automated conformance evaluation of SystemC designs using timed automata | IEEE Conference Publication | IEEE Xplore