"Formal verification of systemc designs using a petri-net based representation."

Daniel Karlsson, Petru Eles, Zebo Peng (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics