publication venue for Scheduling methods for asynchronous circuits with bundled-data implementations based on the approximation of start times 2007 Modular synthesis of timed circuits using partial order reduction 2002