Runtime Deadlock Analysis of SystemC Designs. - Eric Cheung; Piyush Satapathy; Vi Pham; Harry Hsieh; Xi Chen 024 (HLDVT, 2006)