Agnes Madalinski Alexandre V. Bystrov Alexandre Yakovlev Visualization of Coding Conflicts in Asynchronous Circuit Design. 155-160 2002 IWLS db/conf/iwls/iwls2002.html#MadalinskiBY02