Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui. A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata. In Thouraya Bouabana-Tebibel, Stuart H. Rubin, editors, Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, San Francisco, CA, USA, August 2013]. Volume 263 of Advances in Intelligent Systems and Computing, pages 77-104, Springer, 2013. [doi]
Abstract is missing.