lazy transition systems : application to timing optimization of asynchronous circuits j cortadella , m kishinevsky , a kondratyev , l proceedings of the 1998 ieee/acm international conference on & hellip ; ,