Paula Herber, Joachim Fellmuth, Sabine Glesner. Model checking SystemC designs using timed automata. In Catherine H. Gebotys, Grant Martin, editors, Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2008, Atlanta, GA, USA, October 19-24, 2008. pages 131-136, ACM, 2008. [doi]
Abstract is missing.