"Verification of asynchronous circuits using Time Petri Net unfolding."

Alexei L. Semenov, Alexandre Yakovlev (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics