Lazy transition systems and asynchronous circuit synthesis with relative timing assumptions | Publicación