Automatic generation of synchronous test patterns for asynchronous circuits | Publicación