Lazy transition systems and asynchronous circuit synthesis withrelative timing assumptions.
Jordi CortadellaMichael KishinevskySteven M. BurnsAlex KondratyevLuciano LavagnoKen S. StevensAlexander TaubinAlexandre YakovlevPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2002)