Reachability analysis for formal verification of SystemC | IEEE Conference Publication | IEEE Xplore