Josep Carmona Jordi Cortadella Enric Pastor Synthesis of Reactive Systems: Application to Asynchronous Circuit Design. 108-151 2002 conf/ac/2002chd Concurrency and Hardware Design http://link.springer.de/link/service/series/0558/bibs/2549/25490108.htm db/conf/ac/chd2002.html#CarmonaCP02