An effective approach for model checking SystemC designs | IEEE Conference Publication | IEEE Xplore