Lazy transition systems: application to timing optimization of asynchronous circuits