Alexei L. Semenov Alexandre Yakovlev Verification of asynchronous circuits using Time Petri Net unfolding. 59-62 1996 DAC http://doi.acm.org/10.1145/240518.240530 db/conf/dac/dac96.html#SemenovY96