Static analysis method for deadlock detection in SystemC designs | IEEE Conference Publication | IEEE Xplore