Daniele Campana, Alessandro Cimatti, Iman Narasamdya, Marco Roveri. An Analytic Evaluation of SystemC Encodings in Promela. In Alex Groce, Madanlal Musuvathi, editors, Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings. Volume 6823 of Lecture Notes in Computer Science, pages 90-107, Springer, 2011. [doi]
Abstract is missing.