Verification of asynchronous circuits by BDD-based model checking of Petri nets | Publicación